Using synthetic domain theory to prove operational properties of a polymorphic programming language based on strictness

by Alex Simpson
Venue:Manuscript
Citations:13 - 3 self