31686 search results - page 61 / 6338 » Resource typing in Guru |
113
Voted
ICFP
2008
ACM
16 years 14 days ago
2008
ACM
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...
106
Voted
ICFP
1999
ACM
15 years 4 months ago
1999
ACM
This paper defines an extended polymorphic type system for an ML-style programming language, and develops a sound and complete type inference algorithm. Different from the conve...
67
Voted
TLDI
2009
ACM
15 years 9 months ago
2009
ACM
Syntax Arthur Baars Doaitse Swierstra Technical Report UU-CS-2008-021 July 2008 Department of Information and Computing Sciences Utrecht University, Utrecht, The Netherlands www.cs...
104
click to vote
FPGA
1995
ACM
15 years 4 months ago
1995
ACM
This paper considers the problem of partitioning a circuit into a collection of subcircuits, such that each subcircuit is feasible for some device from an FPGA library, and the to...
109
Voted
ICFP
2003
ACM
16 years 14 days ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...