Programming examples needing polymorphic recursion

zbMATH Open1272.68083MaRDI QIDQ2851087FDOQ2851087

Authors: J. J. Hallett 

Publication date: 2 October 2013

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

Recommendations

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

Mathematics Subject Classification ID

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

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)