Sciweavers

46 search results - page 2 / 10
» Expressiveness of Generic Process Shape Types
Sort
View
POPL
2001
ACM
14 years 4 months ago
A generic type system for the Pi-calculus
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...
Atsushi Igarashi, Naoki Kobayashi
SIGDIAL
2010
13 years 1 months ago
Hand Gestures in Disambiguating Types of You Expressions in Multiparty Meetings
The second person pronoun you serves different functions in English. Each of these different types often corresponds to a different term when translated into another language. Cor...
Tyler Baldwin, Joyce Yue Chai, Katrin Kirchhoff
ENTCS
2007
109views more  ENTCS 2007»
13 years 3 months ago
Constructive Membership Predicates as Index Types
In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we mo...
James Caldwell, Josef Pohl
PVLDB
2008
121views more  PVLDB 2008»
13 years 3 months ago
Type inference and type checking for queries on execution traces
This paper studies, for the first time, the management of type information for an important class of semi-structured data: nested DAGs (Directed Acyclic Graphs) that describe exec...
Daniel Deutch, Tova Milo
PLDI
2010
ACM
14 years 1 months ago
Ur: Statically-Typed Metaprogramming with Type-Level Record Computation
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
Adam Chlipala