The Next Mainstream Programming Language: A
The next Haskell will be strict
The Lambda Calculus: a minimal ML?
The gist of side effects in pure functional languages
Why no one uses functional languages
Why Functional Programming Matters
Why Functional Programming Matters
What is a Program?
Week 8
Week 6
Week 5
Week 3
Week 2
Week 11: Unification, Generalized Modus
Week 1
Week 1
View raw file - aaa
Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL
val a = 15
val
