Sciweavers

1559 search results - page 31 / 312
» Fundamentals of Generic Programming
Sort
View
POS
2000
Springer
15 years 1 months ago
TMOS: A Transactional Garbage Collector
Abstract. Defining persistence in terms of reachability is fundamental to achieving orthogonality of persistence. It is implicit to the principles of orthogonal persistence and is ...
John N. Zigman, Stephen Blackburn, J. Eliot B. Mos...
86
Voted
CATS
2007
14 years 11 months ago
Constructing Strictly Positive Families
In order to represent, compute and reason with advanced data types one must go beyond the traditional treatment of data types as being inductive types and, instead, consider them ...
Peter Morris, Thorsten Altenkirch, Neil Ghani
JFP
2006
89views more  JFP 2006»
14 years 9 months ago
Featherweight generic confinement
Existing approaches to object encapsulation and confinement either rely on restrictions to programs or require the use of specialised ownership type systems. Syntactic restriction...
Alex Potanin, James Noble, Dave Clarke, Robert Bid...
75
Voted
ICFP
2004
ACM
15 years 9 months ago
Scrap more boilerplate: reflection, zips, and generalised casts
Writing boilerplate code is a royal pain. Generic programming promises to alleviate this pain by allowing the programmer to write a generic "recipe" for boilerplate code...
Ralf Lämmel, Simon L. Peyton Jones
ICLP
2003
Springer
15 years 2 months ago
A Generic Persistence Model for (C)LP Systems
Jesús Correas, J. M. Gómez, Manuel C...