164 search results - page 13 / 33 » Stratified type inference for generalized algebraic data typ... |
ENTCS
2010
13 years 6 months ago
2010
The zipper is a well known design pattern for providing a cursor-like interface to a data structure. However, the classic treatise by Huet only scratches the surface of some of it...
PADL
2004
Springer
14 years 2 months ago
2004
Springer
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...
KDD
2004
ACM
14 years 9 months ago
2004
ACM
Procedures for collective inference make simultaneous statistical judgments about the same variables for a set of related data instances. For example, collective inference could b...
CL
1999
Springer
13 years 8 months ago
1999
Springer
It is well known that dynamic typing in languages like Lisp is costly in terms of performance. Besides the cost of tag checking, the other major source of ine ciency comes from th...
PLDI
2011
ACM
12 years 11 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...