View raw file - aaa
Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL
val a = 15
val
Using TEX`s language within a course about functional programming
User`s Functions in Standard Prolog
S14Streams
RIOT: I/O-Efficient Numerical Computing in R
review of haskell
Returning a Function (SCALA)
Relative Completeness for Logics of Functional Programs
Register Allocation
recursive functions
Recursion and Induction: Haskell
Recursion 2
