A library for polymorphic dynamic typing

DOI10.1017/S0956796813000063MaRDI QIDQ5398333zbMATH OpenFDO

Authors Wouter Swierstra, Thomas van Noort

Publication date 27 February 2014

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0956796813000063

zbMATH Keywords

Agdalibrarytype soundnesspolymorphic dynamic types

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• Dynamic Construction of Generic Functions
• scientific article; zbMATH DE number 2163037
• A Compilation Method for Dynamic Typing in ML
• Typing dynamic typing
• Type-safe run-time polytypic programming

Cites work

• First-order unification by structural recursion
• Meta-programming with built-in type equality
• More dependent types for distributed arrays
• Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
• Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
• Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
• The view from the left

Cited in

(9)

• Correctness of compiling polymorphism to dynamic typing
• Auto in Agda. Programming proof search using reflection
• Programming Languages and Systems
• A reflection on types
• Typing dynamic typing
• A Compilation Method for Dynamic Typing in ML
• Dynamic Construction of Generic Functions
• scientific article; zbMATH DE number 2163037 (Why is no real title available?)
• Dynamic typing in polymorphic languages

Describes a project that uses

Uses Software

• Agda
• Haskell

This page was built for publication: A library for polymorphic dynamic typing

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