6 search results - page 2 / 2 » Computational Adequacy for Recursive Types in Models of Intu... |
FPCA
1989
13 years 9 months ago
1989
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...