Sciweavers

3815 search results - page 28 / 763
» An Implementation of Session Types
Sort
View
APLAS
2004
ACM
14 years 1 months ago
An Implementation of Subtyping Among Regular Expression Types
Kenny Zhuo Ming Lu, Martin Sulzmann
ICFP
1998
ACM
14 years 2 days ago
Implementing Typed Intermediate Languages
Zhong Shao, Christopher League, Stefan Monnier