Sciweavers

10575 search results - page 265 / 2115
» Programming Languages
Sort
View
109
Voted
APLAS
2004
ACM
15 years 12 months ago
A Type Theory for Krivine-Style Evaluation and Compilation
Kwanghoon Choi, Atsushi Ohori
APLAS
2004
ACM
15 years 12 months ago
An Implementation of Subtyping Among Regular Expression Types
Kenny Zhuo Ming Lu, Martin Sulzmann