Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism

DOI10.1007/11787006_32zbMath1133.68310MaRDI QIDQ3591407

Rasmus Ejlers Møgelberg

Publication date: 11 September 2007

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11787006_32

Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

68Q55: Semantics in the theory of computing

68Q60: Specification and verification (program logics, model checking, etc.)