Journal ArticleOPEN ACCESS

A library for polymorphic dynamic typing

Journal of Functional Programming (2013) 23(3) 229-248
DOI: 10.1017/S0956796813000063
1Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.

Abstract

This paper presents a library for programming with polymorphic dynamic types in the dependently typed programming language Agda. The resulting library allows dynamically typed values with a polymorphic type to be instantiated to a less general (possibly monomorphic) type without compromising type soundness. © 2013 Cambridge University Press.

Cite

CITATION STYLE

APA

Swierstra, W., & Van Noort, T. (2013). A library for polymorphic dynamic typing. Journal of Functional Programming, 23(3), 229–248. https://doi.org/10.1017/S0956796813000063

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free