7 search results - page 1 / 2 » lics 1989 |
138
Voted
LICS
1989
IEEE
15 years 11 months ago
1989
IEEE
163
Voted
LICS
1989
IEEE
15 years 11 months ago
1989
IEEE
148
Voted
LICS
1989
IEEE
15 years 11 months ago
1989
IEEE
186
click to vote
LICS
1989
IEEE
15 years 11 months ago
1989
IEEE
The λ-calculus is considered an useful mathematical tool in the study of programming languages. However, if one uses βη-conversion to prove equivalence of programs, then a gros...
184
Voted
LICS
1989
IEEE
15 years 11 months ago
1989
IEEE
We explore ideal models for a programming language with recursive polymorphic types, variants of the model studied by MacQueen, Plotkin, and Sethi. The use of suitable ideals yiel...