| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10328473 | Computer Languages, Systems & Structures | 2013 | 19 Pages |
Abstract
The self-contained source code of the paper is available at http://logic.cse.unt.edu/tarau/research/2012/jtypes.hs.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
David Haraburda, Paul Tarau,