159
click to vote
TIC
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both te...
142
click to vote
TIC
2000
Springer
15 years 7 months ago
2000
Springer
Singleton kinds provide an elegant device for expressing type equality information resulting from modern module languages, but they can severely complicate the metatheory of langu...
TES
2000
Springer
15 years 7 months ago
2000
Springer
132
click to vote
TES
2000
Springer
15 years 7 months ago
2000
Springer
There is a growing need for techniques that provide alternative means to access Web content and services, be it the ability to browse the Web through a voice interface like the Ph...