1313 search results - page 14 / 263 » Generic Universe Types |
JPDC
2011
12 years 9 months ago
2011
ed abstract data types: Building blocks for collaborative applications Hyun-Gul Roha,∗ , Myeongjae Jeonb , Jin-Soo Kimc , Joonwon Leec a Department of Computer Science, KAIST, Da...
OOPSLA
2004
Springer
14 years 2 days ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
POPL
2005
ACM
14 years 7 months ago
2005
ACM
traction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania
CORR
2011
Springer
12 years 10 months ago
2011
Springer
We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluat...
MPC
2004
Springer
14 years 2 days ago
2004
Springer
Abstract. Generic functions are defined by induction on the structural representation of types. As a consequence, by defining just a single generic operation, one acquires this o...