Programming Languages and Systems

DOI10.1007/11575467zbMATH Open1159.68369MaRDI QIDQ5493373FDOQ5493373

Authors: William L. Harrison 

Publication date: 20 October 2006

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

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (5)

• Stratified polymorphism and primitive recursion
• Primitive recursion for higher-order abstract syntax
• Title not available (Why is that?)
• A static semantics for Haskell
• Programming examples needing polymorphic recursion

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)