Sciweavers

18 search results - page 1 / 4
» lics 2000
Sort
View
LICS
2000
IEEE
13 years 10 months ago
Assigning Types to Processes
Nobuko Yoshida, Matthew Hennessy
LICS
2000
IEEE
13 years 10 months ago
View-Based Query Processing and Constraint Satisfaction
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
LICS
2000
IEEE
13 years 10 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