3824 search results - page 299 / 765 » Geometry Constructions Language |
170
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
149
click to vote
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
128
click to vote
SIGIR
2002
ACM
15 years 4 months ago
2002
ACM
We propose a formal model of Cross-Language Information Retrieval that does not rely on either query translation or document translation. Our approach leverages recent advances in...
129
click to vote
ICFP
2004
ACM
16 years 4 months ago
2004
ACM
It is possible to extend the basic notion of "function call" to allow functions to have multiple return points. This turns out to be a surprisingly useful mechanism. Thi...
110
Voted
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
We propose a type system MLFthat generalizes ML with first-class polymorphism as in System F. Expressions may contain secondorder type annotations. Every typable expression admits...