Programming Languages and Systems

DOI10.1007/11575467MaRDI QIDQ5493373zbMATH OpenFDO

Authors 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)

Recommendations

• On Polymorphic Recursion, Type Systems, and Abstract Interpretation
• An ideal model for recursive polymorphic types
• scientific article; zbMATH DE number 3874579
• Syntactic logical relations for polymorphic and recursive types
• On the expressive power of finitely typed and universally polymorphic recursive procedures
• Stratified polymorphism and primitive recursion
• scientific article; zbMATH DE number 2112161

Cited in

(5)

• scientific article; zbMATH DE number 2185713 (Why is no real title available?)
• A static semantics for Haskell
• Programming examples needing polymorphic recursion
• Primitive recursion for higher-order abstract syntax
• Stratified polymorphism and primitive recursion

Describes a project that uses

Uses Software

• Haskell

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)