4190 search results - page 4 / 838 » Type Class Directives |
FSTTCS
1993
Springer
13 years 11 months ago
1993
Springer
This paper will show the usefulness and elegance of strict intersection types for the Lambda Calculus; these are strict in the sense that they are the representatives of equivalen...
DAGSTUHL
2007
13 years 9 months ago
2007
Abstract. In this paper, we consider two particular problems of directed graph matching. The ļ¬rst problem concerns graphs with nodes that have been subdivided into classes of diļ...
LICS
2010
IEEE
13 years 6 months ago
2010
IEEE
āThere are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
ICFP
1999
ACM
13 years 12 months ago
1999
ACM
This paper deļ¬nes an extended polymorphic type system for an ML-style programming language, and develops a sound and complete type inference algorithm. Diļ¬erent from the conve...
SAS
1997
Springer
13 years 11 months ago
1997
Springer