279 search results - page 5 / 56 » A Name Abstraction Functor for Named Sets |
ICFP
2005
ACM
14 years 7 months ago
2005
ACM
Recent research has shown how boilerplate code, or repetitive code for traversing datatypes, can be eliminated using generic programming techniques already available within some i...
VL
1993
IEEE
13 years 11 months ago
1993
IEEE
This paper presents a new programming language named SPARCL that has four major elements: it is a visual language, it is a logic programming language, it relies on sets to organiz...
ML
2006
ACM
14 years 1 months ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...
JACIII
2006
13 years 7 months ago
2006
ata forms, and abstract structural hierarchy based on is-a relationship and has-a relationship. Object structures illustrate many kinds of objects and actual dependence among objec...
ENTCS
2008
13 years 7 months ago
2008
d abstract) Peter Selinger1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories were studied by Abramsky a...