4190 search results - page 4 / 838 » Type Class Directives |
82
Voted
FSTTCS
1993
Springer
15 years 1 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
14 years 11 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
14 years 8 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 ...
82
Voted
ICFP
1999
ACM
15 years 1 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
15 years 1 months ago
1997
Springer