Corrigendum: Polymorphic type assignment and CPS conversion

DOI10.1023/A:1025829004592zbMath1058.68727OpenAlexW1998942641MaRDI QIDQ1426870

Robert Harper, Mark Lillibridge

Publication date: 15 March 2004

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1025829004592

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (6)

A Functional Abstraction of Typed Invocation Contexts ⋮ Types for modules ⋮ Strong normalization from weak normalization in typed \(\lambda\)-calculi ⋮ Unnamed Item ⋮ Domain-Freeλµ-Calculus ⋮ Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions

This page was built for publication: Corrigendum: Polymorphic type assignment and CPS conversion