A Study in Implementing Functional Programming Languages
c
language
parser
interpreter
compiler
correctness
acsl
twelf
hoare-logic
abstract-machine
functional-programming-language
-
Updated
Aug 17, 2019 - C