1828 search results - page 86 / 366 » First-Class Type Classes |
121
click to vote
HASKELL
2006
ACM
15 years 8 months ago
2006
ACM
In languages that support polymorphic variants, a single variant value can be passed to many contexts that accept different sets of constructors. Polymorphic variants are potenti...
162
click to vote
COMGEO
2012
ACM
13 years 10 months ago
2012
ACM
We study a class of multi-commodity flow problems in geometric domains: For a given planar domain P populated with obstacles (holes) of K ≥ 2 types, compute a set of thick path...
118
Voted
PLDI
2000
ACM
15 years 7 months ago
2000
ACM
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchr...
141
Voted
PPDP
2010
Springer
15 years 28 days ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
125
Voted
POPL
1995
ACM
15 years 6 months ago
1995
ACM
Traditional techniques for implementing polymorphism use a universal representation for objects of unknown type. Often, this forces a compiler to use universal representations eve...