Sciweavers

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