1559 search results - page 82 / 312 » Fundamentals of Generic Programming |
IWPC
2009
IEEE
15 years 4 months ago
2009
IEEE
The classical comprehension theories study relations between extensions, intensions, and names. Originally developed in linguistics and mathematics, these theories are applicable ...
SAC
2004
ACM
15 years 3 months ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...
CL
2000
Springer
15 years 2 months ago
2000
Springer
How to extract negative information from programs is an important issue in logic programming. Here we address the problem for functional logic programs, from a proof-theoretic pers...
100
click to vote
EUROPAR
2006
Springer
15 years 1 months ago
2006
Springer
Computations on two-dimensional arrays such as matrices and images are one of the most fundamental and ubiquitous things in computational science and its vast application areas, bu...
WCE
2007
14 years 11 months ago
2007
—This paper presents a program for structural synthesis -conception and design work-of the multiple fixture devices in the machine-tool structure. This program was created accord...