Practical Variable-Arity Polymorphism

DOI10.1007/978-3-642-00590-9_3MaRDI QIDQ3617689zbMATH OpenOpenAlexFDO

Authors T. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen

Publication date 31 March 2009

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00590-9_3

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Dynamic typing in polymorphic languages
• scientific article; zbMATH DE number 3907754
• scientific article; zbMATH DE number 4090764
• Algorithm of construction of a type and its realization in the language W
• Type-safe pattern combinators

Cited in

(4)

• How to evaluate the performance of gradual type systems
• Polymorphic contracts
• Practical Optional Types for Clojure
• Variable handling and compositionality: comparing DRT and DTS

Describes a project that uses

Uses Software

• Python
• Scheme

This page was built for publication: Practical Variable-Arity Polymorphism

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