Sciweavers

16 search results - page 1 / 4
» toplas 1998
Sort
View
58
Voted
TOPLAS
1998
39views more  TOPLAS 1998»
14 years 9 months ago
Equality-based flow analysis versus recursive types
Jens Palsberg
54
Voted
TOPLAS
1998
62views more  TOPLAS 1998»
14 years 9 months ago
"Maximal-munch" Tokenization in Linear Time
Thomas W. Reps
55
Voted
TOPLAS
1998
62views more  TOPLAS 1998»
14 years 9 months ago
Proofs about a Folklore Let-Polymorphic Type Inference Algorithm
Oukseh Lee, Kwangkeun Yi
55
Voted
TOPLAS
1998
45views more  TOPLAS 1998»
14 years 9 months ago
A Region Inference Algorithm
Mads Tofte, Lars Birkedal
59
Voted
TOPLAS
1998
113views more  TOPLAS 1998»
14 years 9 months ago
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs
Konstantinos F. Sagonas, Terrance Swift