Programming examples needing polymorphic recursion

MaRDI QIDQ2851087zbMATH OpenFDO

Authors J. J. Hallett

Publication date 2 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105050607

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• Typed Lambda Calculi and Applications
• Programming Languages and Systems
• Explaining Polymorphic Types
• scientific article; zbMATH DE number 4090764
• Dynamic typing in polymorphic languages

Cited in

(1)

• Type Inference of Simple Recursive Functions in Scala

This page was built for publication: Programming examples needing polymorphic recursion

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