Sciweavers

210 search results - page 2 / 42
» types 1994
Sort
View
153
Voted
ICCL
1994
IEEE
15 years 10 months ago
Binding-time Analysis: Abstract Interpretation versus Type Inference
Jens Palsberg, Michael I. Schwartzbach
EDBT
1994
ACM
95views Database» more  EDBT 1994»
15 years 10 months ago
Type Derivation Using the Projection Operation
Rakesh Agrawal, Linda G. DeMichiel
170
Voted
PLSA
1994
15 years 10 months ago
Engineering a Programming Language: The Type and Class System of Sather
Clemens A. Szyperski, Stephen M. Omohundro, Stepha...