Sciweavers

10 search results - page 1 / 2
» csl 1998
Sort
View
108
Voted
CSL
1998
Springer
15 years 3 months ago
Logical Relations and Inductive/Coinductive Types
Thorsten Altenkirch
104
Voted
CSL
1998
Springer
15 years 7 months ago
Subtyping Functional+Nonempty Record Types
Sergei G. Vorobyov
102
Voted
CSL
1998
Springer
15 years 3 months ago
Scaled random trajectory segment models
Jacob Goldberger, David Burshtein
99
Voted
CSL
1998
Springer
15 years 3 months ago
Assigning phrase breaks from part-of-speech sequences
Paul Taylor, Alan W. Black