429 search results - page 54 / 86 » Parameter-free polymorphic types |
116
click to vote
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional&q...
PLPV
2010
ACM
15 years 8 months ago
2010
ACM
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...
105
click to vote
NAR
2008
14 years 11 months ago
2008
Panzea (http://www.panzea.org), the public web site of the project `Molecular and Functional Diversity in the Maize Genome', has expanded over the past two years in data cont...
113
click to vote
GI
1997
Springer
15 years 4 months ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
178
click to vote
POPL
2004
ACM
16 years 3 days ago
2004
ACM
We present a formalization of the implementation of generics in the .NET Common Language Runtime (CLR), focusing on two novel aspects of the implementation: mixed specialization a...