Sciweavers

16 search results - page 1 / 4
» toplas 1998
Sort
View
69
Voted
TOPLAS
1998
39views more  TOPLAS 1998»
15 years 1 days ago
Equality-based flow analysis versus recursive types
Jens Palsberg
65
Voted
TOPLAS
1998
45views more  TOPLAS 1998»
15 years 1 days ago
A Region Inference Algorithm
Mads Tofte, Lars Birkedal
70
Voted
TOPLAS
1998
113views more  TOPLAS 1998»
15 years 1 days ago
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs
Konstantinos F. Sagonas, Terrance Swift