Sandra Alves

Ian Mackie

CoRR, 2024

Extending the Quantitative Pattern-Matching Paradigm.

[BibT_eX]

[DOI]

Delia Kesner

Proceedings of the Programming Languages and Systems - 22nd Asian Symposium, 2024

2023

Quantitative Global Memory.

[BibT_eX]

[DOI]

Delia Kesner

Proceedings of the Logic, Language, Information, and Computation, 2023

2022

Report on women in logic 2020 & 2021.

[BibT_eX]

[DOI]

Sandra Kiefer

Ana Sokolova

ACM SIGLOG News, 2022

Linear Rank Intersection Types.

[BibT_eX]

[DOI]

Fábio Reis

Proceedings of the 28th International Conference on Types for Proofs and Programs, 2022

Quantitative Weak Linearisation.

[BibT_eX]

[DOI]

Daniel Ventura

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

Structural Rules and Algebraic Properties of Intersection Types.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2021

Preface to special issue: LSFA 2017 and 2018.

[BibT_eX]

[DOI]

Renata Wassermann

Math. Struct. Comput. Sci., 2021

A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations.

[BibT_eX]

[DOI]

Jorge Iglésias

CoRR, 2021

EVL: a typed functional language for event processing.

[BibT_eX]

[DOI]

CoRR, 2021

An ML-style record calculus with extensible records.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

2020

EVL: A Typed Higher-order Functional Language for Events.

[BibT_eX]

[DOI]

Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, 2020

2019

A Quantitative Understanding of Pattern Matching.

[BibT_eX]

[DOI]

Delia Kesner

Daniel Ventura

Proceedings of the 25th International Conference on Types for Proofs and Programs, 2019

2018

Preface to special issue: LINEARITY 2014.

[BibT_eX]

[DOI]

Iliano Cervesato

Math. Struct. Comput. Sci., 2018

Pattern-based calculi with finitary matching.

[BibT_eX]

[DOI]

Log. J. IGPL, 2018

Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types.

[BibT_eX]

[DOI]

Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018

A Unifying Framework for Type Inhabitation.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

2017

A graph-based framework for the analysis of access control policies.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

Preface.

[BibT_eX]

[DOI]

Renata Wasserman

Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

Inhabitation machines: determinism and principality.

[BibT_eX]

Proceedings of the Ninth Workshop on Non-Classical Models of Automata and Applications, 2017

2016

Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction.

[BibT_eX]

[DOI]

ACM SIGLOG News, 2016

The G-ACM Tool: using the Drools Rule Engine for Access Control Management.

[BibT_eX]

[DOI]

João Sá

CoRR, 2016

2015

A short note on type-inhabitation: Formula-trees vs. game semantics.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2015

A Typed Language for Events.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

2014

Linearity: A Roadmap.

[BibT_eX]

[DOI]

J. Log. Comput., 2014

A Framework for the Analysis of Access Control Policies with Emergency Management.

[BibT_eX]

[DOI]

Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014

Liquid Intersection Types.

[BibT_eX]

[DOI]

Mário Pereira

Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014

Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics.

[BibT_eX]

[DOI]

Anatoli Degtyarev

Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

2011

A new graphical calculus of proofs

[BibT_eX]

[DOI]

Ian Mackie

Proceedings of the Proceedings 6th International Workshop on Computing with Terms and Graphs, 2011

Linearity and recursion in a typed Lambda-calculus.

[BibT_eX]

[DOI]

Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

2010

Gödel's system tau revisited.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

Linearity and iterator types for Gödel's System.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2010

Linear Recursion

[BibT_eX]

[DOI]

CoRR, 2010

2007

Minimality in a Linear Calculus with Iteration.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, 2007

Iterator Types.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2007

Linear Recursive Functions.

[BibT_eX]

[DOI]

Proceedings of the Rewriting, 2007

2006

The Power of Closed Reduction Strategies.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, 2006

The Power of Linear Functions.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 20th International Workshop, 2006

2005

Weak linearization of the lambda calculus.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

2003

Linearization by Program Transformation.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Transformation, 2003

2002

On the Relation between Rank 2 Intersection Types and Simple Types.

[BibT_eX]

[DOI]

Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

2001

Type Inference using Constraint Handling Rules.

[BibT_eX]

[DOI]