3824 search results - page 238 / 765 » Geometry Constructions Language |
115
click to vote
TCS
2002
15 years 4 months ago
2002
The chords' problem is a variant of an old problem of computational geometry: given a set of points of n , one can easily build the multiset of the distances between the poi...
150
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...
157
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Program errors are a source of information leaks. Tracking these leaks is hard because error propagation breaks out of program structure. Programming languages often feature excep...
145
click to vote
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
140
click to vote
APLAS
2004
ACM
15 years 8 months ago
2004
ACM
A programming construct mixin was invented to implement uniform extensions and modifications to classes. Although mixin-based programming has been extensively studied both on the m...