E-LIB Suche - Ergebnisse für: Gesbert, Nils

1

Backward type inference for XML queries:

Im, Hyeonseung ; Genevès, Pierre ; Gesbert, Nils.
Theoretical Computer Science. 823 (2020) - p. 69-99 , 2020

Link: https://doi.org/10.1016/..

2

On the Optimization of Recursive Relational Queries: Applic..:

, In: Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data,

Jachiet, Louis ; Genevès, Pierre ; Gesbert, Nils. - p. 681-697 , 2020

Link: https://dl.acm.org/doi/1..

3

Efficiently Deciding μ-Calculus with Converse over Finite T..:

Genevès, Pierre ; Layaïda, Nabil ; Schmitt, Alan.
ACM Transactions on Computational Logic. 16 (2015) 2 - p. 1-41 , 2015

Link: https://doi.org/10.1145/..

4

A Logical Approach to Deciding Semantic Subtyping:

Gesbert, Nils ; Genevès, Pierre ; Layaïda, Nabil
ACM Transactions on Programming Languages and Systems. 38 (2015) 1 - p. 1-31 , 2015

Link: https://doi.org/10.1145/..

5

Efficiently Deciding μ-Calculus with Converse over Finite T..:

Genevès, Pierre ; Layaïda, Nabil ; Schmitt, Alan.
ACM Transactions on Computational Logic (TOCL). 16 (2015) 2 - p. 1-41 , 2015

Link: https://dl.acm.org/doi/1..

6

XQuery and static typing: tackling the problem of backward ..:

, In: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming,

Genevès, Pierre ; Gesbert, Nils - p. 88-100 , 2015

Link: https://dl.acm.org/doi/1..

7

XQuery and static typing: tackling the problem of backward ..:

Genevès, Pierre ; Gesbert, Nils
ACM SIGPLAN Notices. 50 (2015) 9 - p. 88-100 , 2015

Link: https://doi.org/10.1145/..

8

A Logical Approach to Deciding Semantic Subtyping:

Gesbert, Nils ; Genevès, Pierre ; Layaïda, Nabil
ACM Transactions on Programming Languages and Systems (TOPLAS). 38 (2015) 1 - p. 1-31 , 2015

Link: https://dl.acm.org/doi/1..

9

Parametric polymorphism and semantic subtyping: the logical..:

Gesbert, Nils ; Genevès, Pierre ; Layaïda, Nabil
ACM SIGPLAN Notices. 46 (2011) 9 - p. 107-116 , 2011

Link: https://doi.org/10.1145/..

10

Parametric polymorphism and semantic subtyping : the log..:

, In: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming,

Gesbert, Nils ; Genevès, Pierre ; Layaïda, Nabil - p. 107-116 , 2011

Link: https://dl.acm.org/doi/1..

11

Modular session types for distributed object-oriented progr..:

, In: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Gay, Simon J. ; Vasconcelos, Vasco T. ; Ravara, António.. - p. 299-312 , 2010

Link: https://dl.acm.org/doi/1..

12

Modular session types for distributed object-oriented progr..:

Gay, Simon J. ; Vasconcelos, Vasco T. ; Ravara, António..
ACM SIGPLAN Notices. 45 (2010) 1 - p. 299-312 , 2010

Link: https://doi.org/10.1145/..

13

A theory of contracts for Web services:

Castagna, Giuseppe ; Gesbert, Nils ; Padovani, Luca
ACM Transactions on Programming Languages and Systems. 31 (2009) 5 - p. 1-61 , 2009

Link: https://doi.org/10.1145/..

14

A theory of contracts for Web services:

Castagna, Giuseppe ; Gesbert, Nils ; Padovani, Luca
ACM Transactions on Programming Languages and Systems (TOPLAS). 31 (2009) 5 - p. 1-61 , 2009

Link: https://dl.acm.org/doi/1..

15

A theory of contracts for web services:

Castagna, Giuseppe ; Gesbert, Nils ; Padovani, Luca
ACM SIGPLAN Notices. 43 (2008) 1 - p. 261-272 , 2008

Link: https://doi.org/10.1145/..