The following pages link to Nils Gesbert (Q2182318):
Displaying 8 items.
- Backward type inference for XML queries (Q2182320) (← links)
- Efficiently Deciding μ-Calculus with Converse over Finite Trees (Q2957698) (← links)
- XQuery and static typing: tackling the problem of backward axes (Q2981946) (← links)
- A theory of contracts for web services (Q3189845) (← links)
- Modular session types for objects (Q3460414) (← links)
- (Q4995157) (← links)
- Parametric polymorphism and semantic subtyping (Q5176967) (← links)
- Modular session types for distributed object-oriented programming (Q5255084) (← links)