Programming Languages and Systems

DOI10.1007/11575467zbMATH Open1159.68369MaRDI QIDQ5493373

William L. Harrison

Publication date: 20 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (3)

Title not available (Why is that?) ⋮ Primitive recursion for higher-order abstract syntax ⋮ Stratified polymorphism and primitive recursion

Uses Software

• Haskell

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• On the expressive power of finitely typed and universally polymorphic recursive procedures 👍 👎
• Syntactic logical relations for polymorphic and recursive types 👍 👎
• On Polymorphic Recursion, Type Systems, and Abstract Interpretation 👍 👎
• An ideal model for recursive polymorphic types 👍 👎
• Stratified polymorphism and primitive recursion 👍 👎
• Semantics of Higher-Order Recursion Schemes 👍 👎

This page was built for publication: Programming Languages and Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5493373)