2803 search results - page 39 / 561 » A Type System for Prototyping Languages |
193
click to vote
POPL
2003
ACM
16 years 3 months ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
112
click to vote
ECCV
1992
Springer
16 years 5 months ago
1992
Springer
Researchers have long argued that an attentional mechanism is required to perform many vision tasks. This paper introduces an attentiona] prototype for early visual processing. Ou...
114
click to vote
IJCAI
1993
15 years 4 months ago
1993
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en gineering. The design is based on the la...
134
click to vote
FOSSACS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
124
click to vote
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of de...