Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
1	Programming Language Methods in Computer Security John Mitchell Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2001-03-11 22:41:33
2	Theory and Practice of Logic Programming 1 The Language Features and Architecture of B-Prolog Add to Reading List Source URL: www.sci.brooklyn.cuny.edu - Date: 2011-02-23 16:01:36
3	Dr Nicholas Cameron Curriculum Vitae Higher Education PhD in Computing (Programming Language Theory), Imperial College London, April 2009. - “Existential Types for Variance — Java Wildcards and Ownership Types” (ab Add to Reading List Source URL: dl.dropboxusercontent.com
4	Northeast PARC Regional Working Group Meeting August 13-14, 2002 in Pennsylvania Tuesday, August 13, :00 pm Arrival and Registration Add to Reading List Source URL: www.northeastparc.org Language: English - Date: 2014-09-16 14:42:25 Software engineering Programming language theory Computer programming Haskell Literate programming PM
5	ｂｲｵｳｳ･ｬｳＬ＠ＳＰ＠ｏ｣ｴｯ｢･ｲ＠ＲＰＱＵｃｏｓｔ＠ＰＵＵＯＱＵｄｅｃｉｓｉｏｎｓｵ｢ｪ･｣ｴＺ＠ 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
6	02157 Functional Programming - Sequences Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 17:30:05 Software engineering Programming language theory Computer programming Functional languages Primality tests Procedural programming languages Integer sequences Lazy evaluation Pure Sieve of Eratosthenes ALGOL 68 Functional programming
7	OCaml Standard Library Standard Modules Basic Data Types Pervasives String Array Add to Reading List Source URL: www.lri.fr Language: English - Date: 2012-09-19 09:12:11 Software engineering Computer programming Programming language theory Functional languages OCaml Caml ML Ur Fold
8	A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-06-27 15:19:02 Software engineering Programming language theory Computer programming Type theory Procedural programming languages Functional languages Logic in computer science Programming language semantics Standard ML Denotational semantics Monad Type system
9	using the logo These logos are available for digital use on light backgrounds: THE PRIMARY LOGO Add to Reading List Source URL: s3-eu-west-1.amazonaws.com Language: English - Date: 2016-07-30 03:03:05 Software engineering Computer programming Communication design Logos Programming language theory
10	PML : A new proof assistant and deduction system Christophe Raffalli LAMA Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2007-07-02 08:10:34 Type theory Theoretical computer science Mathematical logic Programming language theory Lambda calculus Formal methods Logic in computer science CurryHoward correspondence HindleyMilner type system Simply typed lambda calculus Type system Proof assistant