Languages - PDFSEARCH.IO - Document Search Engine

Languages
Results: 66134

#	Item
781	Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia {abonnair,samth}@indiana.edu, Rowan.Davies@cba. Add to Reading List Source URL: frenchy64.github.io Language: English - Date: 2016-08-15 14:26:54 Software engineering Computing Computer programming Functional languages Concurrent programming languages Programming languages Procedural programming languages Cross-platform software Clojure Multiple dispatch Type system Dynamic programming language
782	DSLs in Haskell Ryan Newton Back-end Add to Reading List Source URL: vjovanov.github.io Language: English - Date: 2016-08-07 07:28:53 Software engineering Computer programming Declarative programming Functional languages Functional programming Data types Type theory Compilers Template Haskell Haskell Generalized algebraic data type Metaprogramming
783	ｂｲｵｳｳ･ｬｳＬ＠ＳＰ＠ｏ｣ｴｯ｢･ｲ＠ＲＰＱＵｃｏｓｔ＠ＰＵＵＯＱＵｄｅｃｉｓｉｏｎｓｵ｢ｪ･｣ｴＺ＠ Add to Reading List Source URL: w3.cost.eu Language: English - Date: 2015-11-12 17:02:31 Software engineering Software Type theory Programming language theory Proof assistants Functional languages Formal methods Logic in computer science Formal verification Dependent type Agda Coq
784	COMPARATIVE LITERATURE CURRICULUM COMMITTEE: Thomas Prendergast (English), Chair Mary Addis (Spanish) Laura Burch (French) Monica Florence (Classics) Add to Reading List Source URL: www.wooster.edu Language: English - Date: 2015-09-03 16:24:43 Culture Literary criticism Comparative literature English studies German studies Germanic languages
785	Extended Abstract Compiling Links Effect Handlers to the OCaml Backend Daniel Hillerstr¨om Sam Lindley Add to Reading List Source URL: kcsrk.info Language: English - Date: 2016-08-01 08:25:07 Software engineering Computer programming Computing Functional languages Control flow Software design patterns OCaml Monad Exception handling Type system Caml ML
786	The Commission on Language Learning Marty Abbott, Executive Director, American Council on the Teaching of Foreign Languages (ACTFL) Dr. Dan Davidson, President, American Councils for International Education (ACIE) Add to Reading List Source URL: www.govtilr.org Language: English - Date: 2016-04-19 09:23:07 Education American Council on the Teaching of Foreign Languages Language education in the United States Pedagogy Rush D. Holt Jr. AAAS Foreign language Academia Linguistics
787	Project 5 - The Meta-Circular Evaluator Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-12-02 09:25:33 Software engineering Computer programming Computing Control flow Procedural programming languages Eval Scheme Anonymous function Infinite loop Assignment Conditional Meta-circular evaluator
788	NEWS RELEASE June 23, 2015 Contact: Julie Funasaki Yuen, ( Add to Reading List Source URL: laulima.hawaii.edu Language: English Honolulu County Hawaii University of Hawaii Philippine languages American Association of State Colleges and Universities Ilocano language University of Houston Kapolei Hawaii
789	Darwin Information Typing Architecture (DITA) Version 1.3 Part 1: Base Edition Candidate OASIS StandardSeptember 2015 Specification URIs This version: Add to Reading List Source URL: docs.oasis-open.org Language: English - Date: 2015-09-03 12:00:00 Computing Technical communication Markup languages Open formats Darwin Information Typing Architecture Topic-based authoring
790	Auxiliary tasks by Ovidiu Predescu, Jeff Turner NOTICE: Copyright © Ovidiu Predescu and Jeff Turner. All rights reserved. The Anteater manual may be reproduced and distributed in whole or in part, in any medi Add to Reading List Source URL: aft.sourceforge.net Language: English - Date: 2003-04-12 08:48:59 Computing Markup languages Open formats XML namespace XPath Namespace Apache Ant C Sharp XHTML Uniform Resource Identifier

UPDATE