Sciweavers

18 search results - page 1 / 4
» lics 2000
Sort
View
LICS
2000
IEEE
15 years 2 months ago
Assigning Types to Processes
Nobuko Yoshida, Matthew Hennessy
53
Voted
LICS
2000
IEEE
15 years 2 months ago
Resource-Bounded Continuity and Sequentiality for Type-Two Functionals
Samuel R. Buss, Bruce M. Kapron
LICS
2000
IEEE
15 years 2 months ago
View-Based Query Processing and Constraint Satisfaction
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
76
Voted
LICS
2000
IEEE
15 years 2 months ago
Game Semantics and Subtyping
While Game Semantics has been remarkably successful at g, often in a fully abstract manner, a wide range of features of programming languages, there has to date been no attempt at...
Juliusz Chroboczek