1636 search results - page 148 / 328 » Type-Theoretic Functional Semantics |
130
click to vote
POPL
1993
ACM
15 years 8 months ago
1993
ACM
A polymorphic function is parametric if its behavior does not depend on the type at which it is instantiated. Starting with Reynolds's work, the study of parametricity is typ...
166
click to vote
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
125
click to vote
FUIN
2006
15 years 3 months ago
2006
Redundant call elimination has been an important program optimisation process as it can produce super-linear speedup in optimised programs. In this paper, we investigate use of the...
179
click to vote
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
Recent years have witnessed the growing popularity of hashing in large-scale vision problems. It has been shown that the hashing quality could be boosted by leveraging supervised ...
109
click to vote
COLING
1996
15 years 5 months ago
1996
This paper presents a practical method for a global structure analyzing Mgorithm of Japanese long sentences with lexical information, a method which we call Lexical Discourse Gram...