The Conception, Evolution, and Application of Functional
The Clean programming language
The 14th ACM SIGPLAN International Conference on Functional
Temporal Logic with “Until”, Functional Reactive Programming with
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
Variable Scoping Rules in Erlang
val a = 15
