Sciweavers

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