Sciweavers

16 search results - page 1 / 4
» toplas 1998
Sort
View
71
Voted
TOPLAS
1998
39views more  TOPLAS 1998»
15 years 23 days ago
Equality-based flow analysis versus recursive types
Jens Palsberg
69
Voted
TOPLAS
1998
62views more  TOPLAS 1998»
15 years 23 days ago
Proofs about a Folklore Let-Polymorphic Type Inference Algorithm
Oukseh Lee, Kwangkeun Yi
67
Voted
TOPLAS
1998
45views more  TOPLAS 1998»
15 years 23 days ago
A Region Inference Algorithm
Mads Tofte, Lars Birkedal
73
Voted
TOPLAS
1998
113views more  TOPLAS 1998»
15 years 23 days ago
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs
Konstantinos F. Sagonas, Terrance Swift