Article contents
A library for polymorphic dynamic typing
Published online by Cambridge University Press: 22 October 2013
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.
- Type
- Articles
- Information
- Copyright
- Copyright © Cambridge University Press 2013
References
- 1
- Cited by
Discussions
No Discussions have been published for this article.