Corrigendum: Polymorphic type assignment and CPS conversion
From MaRDI portal
Publication:1426870
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
Related Items
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
