A Second Edition: Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL
PPT - Crystal
Imperative Program with Input
Lecture Notes
This article discusses the programming language LISP. The
The λ – Calculus
Proof Methods for Corecursive Programs
Expressing C++ Template Metaprograms as Lambda expressions
Dependently Typed Functional Programming with Idris
Document
02_Computational - Moosehead Web Server
Certification of context-free grammar algorithms
A Course in Haskell-Based Software Testing
7. Introduction to the Lambda Calculus
notes
functional form
Fall 2000 Final Exam answers
Constructive logic and type theory (lecture notes 2009)
Haskell and Scala - comparison
History of Lisp
