DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Rod Burstall
Rod Burstall
Why Dependent Types Matter
PDF (Ved-Editor+Html2pdf)
LFCS Now and Then
The History of Standard ML
A New Approach to Abstract Syntax with Variable Binding1
ICL Technical Journal Volume 5 Issue 3
Symposium for Gordon Plotkin Edinburgh 07-08/09/2006 from Partial Lambda-Calculus to Monads
AI and the Study of Mind Aaron Sloman School of Computer Science, the University of Birmingham, UK
Practical Implementation of a Dependently Typed Functional Programming Language
Michael John Caldwell Gordon (FRS 1994), 28 February 1948--22 August 2017
By Martin Stephen Feather Ph D University of Edinburgh
A Theorem Prover for a Computational Logic
Conception, Evolution, and Application of Functional Programming Languages
Annual Review 2008/09
Luca Cardelli and the Early Evolution of ML
Issue 2019-1 December 2019 FACS a C T S
History of Interactive Theorem Proving
Three Decades of Institution Theory
Top View
A History of Haskell: Being Lazy with Class April 16, 2007