6 search results - page 2 / 2 » Computational Adequacy for Recursive Types in Models of Intu... |
145
click to vote
FPCA
1989
15 years 8 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...