Sciweavers

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