2482 search results - page 176 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
152
click to vote
CHI
2000
ACM
15 years 9 months ago
2000
ACM
When a novice needs help, often the best solution is to find a human expert who is capable of answering the novice’s questions. But often, novices have difficulty characterizing...
140
Voted
ICFP
2002
ACM
16 years 5 months ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...
133
click to vote
EUROMICRO
1998
IEEE
15 years 9 months ago
1998
IEEE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
152
Voted
PLDI
2005
ACM
15 years 10 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
175
Voted
ICFP
2008
ACM
16 years 5 months ago
2008
ACM
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into ...