A verified compiler for an impure functional language.

Published in: POPL (2010)

Keyphrases

functional language
programming language
functional programming
general purpose
proof planning
object oriented
high level
object oriented programming
logic programming
software engineering
database
rough sets
object identity