Daniel Ventura

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 10

Top Topics

Pattern Matching

Database Query Languages

Top Venues

Publications

Temur Kutsia, Daniel Ventura, David Monniaux, José F. Morales
Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis. CoRR (2024)
Delia Kesner, Loïc Peyrot, Daniel Ventura
Node Replication: Theory And Practice. Log. Methods Comput. Sci. 20 (1) (2024)
Sandra Alves, Daniel Ventura
Quantitative Weak Linearisation. ICTAC (2022)
Delia Kesner, Loïc Peyrot, Daniel Ventura
Node Replication: Theory And Practice. CoRR (2022)
Delia Kesner, Loïc Peyrot, Daniel Ventura
The Spirit of Node Replication. FoSSaCS (2021)
Daniele Nantes, Carlos Olarte, Daniel Ventura
A subexponential view of domains in session types. CoRR (2021)
Delia Kesner, Daniel Ventura
A resource aware semantics for a focused intuitionistic calculus. Math. Struct. Comput. Sci. 29 (1) (2019)
Sandra Alves, Delia Kesner, Daniel Ventura
A Quantitative Understanding of Pattern Matching. TYPES (2019)
Sandra Alves, Delia Kesner, Daniel Ventura
A Quantitative Understanding of Pattern Matching. CoRR (2019)
Antonio Bucciarelli, Delia Kesner, Daniel Ventura
Non-idempotent intersection types for the Lambda-Calculus. Log. J. IGPL 25 (4) (2017)
Delia Kesner, Daniel Ventura
A Resource Aware Computational Interpretation for Herbelin's Syntax. ICTAC (2015)
Antonio Bucciarelli, Delia Kesner, Daniel Ventura
Strong Normalization through Intersection Types and Memory. LSFA (2015)
Delia Kesner, Daniel Ventura
Quantitative Types for the Linear Substitution Calculus. IFIP TCS (2014)
Washington de Carvalho Segundo, Flávio L. C. de Moura, Daniel Ventura
Formalizing a Named Explicit Substitutions Calculus in Coq. CICM Workshops (2014)