From parametric polymorphism to models of polymorphic FPC

DOI10.1017/S096012950900766XzbMath1172.68009MaRDI QIDQ3395309

Rasmus Ejlers Møgelberg

Publication date: 26 August 2009

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

68Q65: Abstract data types; algebraic specification

18C50: Categorical semantics of formal languages

03B40: Combinatory logic and lambda calculus