3378 search results - page 291 / 676 » A universe of binding and computation |
162
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper gives a reduction-preserving translation from Coquand's dependent pattern matching [4] into a traditional type theory [11] with universes, inductive types...
133
click to vote
SIGUCCS
2000
ACM
15 years 10 months ago
2000
ACM
At Iowa State University, the Office of Academic Information Technologies, the English Department, and the Department of Residence have developed a strategic alliance to plan and ...
171
click to vote
CONCUR
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising ...
166
click to vote
EUROPAR
2008
Springer
15 years 8 months ago
2008
Springer
As the use of virtual machines (VMs) for scientific applications becomes more common, we encounter the need to integrate VM provisioning models into the existing resource managemen...
174
click to vote
INTERACT
2003
15 years 8 months ago
2003
: This report briefly describes the state of the art of HCI research at seven of New Zealand’s eight universities. HCI research areas include new interaction paradigms for shared...