Comp 411 Principles of Programming Languages Lecture 7 Meta-interpreters
Getting Started With . . . Haskell for Knowledge Representation
Functional Pearls - Probabilistic Functional Programming in Haskell
Functional and Logic Programming
Haskell
Functional Decomposition COS 326 Andrew W. Appel Princeton University
The countdown problem - School of Computer Science
Notes
19th Century Logic and 21st Century Computing
A Brief Survey of Abstract Machines for Functional Programming
A/x - LAMP | EPFL
A Second Edition: Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL
PPT - Crystal
Functional Programming in Scheme Functional Programming
Dependently Typed Functional Programming with Idris
Expressing C++ Template Metaprograms as Lambda expressions
Using TEX`s language within a course about functional programming
User`s Functions in Standard Prolog
Proof Methods for Corecursive Programs
Imperative Program with Input
