Login / Signup
Realisability semantics of parametric polymorphism, general references and recursive types.
Lars Birkedal
Kristian Støvring
Jacob Thamsborg
Published in:
Math. Struct. Comput. Sci. (2010)
Keyphrases
</>
special case
semantic information
real world
relational databases
logic programming
default reasoning
highly expressive