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

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