Mário Florido

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

Type Inference for Rank-2 Intersection Types Using Set Unification.

[BibT_eX]

[DOI]

Pedro Ângelo

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

Data Type Inference for Logic Programming.

[BibT_eX]

[DOI]

João Barbosa

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

2020

Resource Analysis for Lazy Evaluation with Polynomial Potential.

[BibT_eX]

[DOI]

Sara Moreira

Pedro B. Vasconcelos

Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

2019

A Three-Valued Semantics for Typed Logic Programming.

[BibT_eX]

[DOI]

João Barbosa

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

Type Inference for Rank 2 Gradual Intersection Types.

[BibT_eX]

[DOI]

Pedro Ângelo

Proceedings of the Trends in Functional Programming - 20th International Symposium, 2019

2018

Pattern-based calculi with finitary matching.

[BibT_eX]

[DOI]

Log. J. IGPL, 2018

2017

Type-Based Cost Analysis for Lazy Functional Languages.

[BibT_eX]

[DOI]

J. Autom. Reason., 2017

2016

<i>CLP(H): </i> Constraint logic programming for hedges.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

Preface.

[BibT_eX]

[DOI]

Vivek Nigam

Proceedings of the 11th Workshop on Logical and Semantic Frameworks with Applications, 2016

Non-Blocking Concurrent Imperative Programming with Session Types.

[BibT_eX]

[DOI]

Miguel E. P. Silva

Frank Pfenning

Proceedings of the Proceedings Fourth International Workshop on Linearity, 2016

2015

Certifying execution time in multicores.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

CLP(H): Constraint Logic Programming for Hedges.

[BibT_eX]

[DOI]

CoRR, 2015

Lambda Calculus with Regular Types.

[BibT_eX]

[DOI]

Besik Dundua

Temur Kutsia

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2015

2014

Linearity in Computation.

[BibT_eX]

[DOI]

Ian Mackie

J. Log. Comput., 2014

Linearity: A Roadmap.

[BibT_eX]

[DOI]

J. Log. Comput., 2014

Liquid Intersection Types.

[BibT_eX]

[DOI]

Mário Pereira

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

Constraint Logic Programming for Hedges: A Semantic Reconstruction.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

PrologCheck - Property-Based Testing in Prolog.

[BibT_eX]

[DOI]

Cláudio Amaral

Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

2013

A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2013

2012

Automatic amortised analysis of dynamic memory allocation for lazy functional programs.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011

A Functional Approach to Worst-Case Execution Time Analysis.

[BibT_eX]

[DOI]

Vítor Rodrigues

Simão Melo de Sousa

Proceedings of the Functional and Constraint Logic Programming, 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

Certifying Execution Time.

[BibT_eX]

[DOI]

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2011

Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples.

[BibT_eX]

[DOI]

Cláudio Amaral

Patrik Jansson

Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 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

A Rule-Based Approach to XML Processing and Web Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

2009

Collaborative Schema Construction using Regular Sequence Types.

[BibT_eX]

[DOI]

Temur Kutsia

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2009

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

Sequence Disunification and Its Application in Collaborative Schema Construction.

[BibT_eX]

[DOI]

Temur Kutsia

Proceedings of the Web Information Systems Engineering - WISE 2007 Workshops, 2007

XCentric: logic programming for XML processing.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM International Workshop on Web Information and Data Management (WIDM 2007), 2007

XCentric: A Logic-Programming Language for XML Processing.

[BibT_eX]

[DOI]

Proceedings of the PLAN-X 2007, 2007

Type-Based Static and Dynamic Website Verification.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 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

Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs.

[BibT_eX]

[DOI]

Proceedings of the Types for Proofs and Programs, International Workshop, 2006

The Power of Linear Functions.

[BibT_eX]

[DOI]

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

VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content.

[BibT_eX]

[DOI]

Proceedings of the Advanced Web and Network Technologies, and Applications, 2006

2005

Weak linearization of the lambda calculus.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

2004

Linearization of the lambda-calculus and its relation with intersection type systems.

[BibT_eX]

[DOI]

Luís Damas

J. Funct. Program., 2004

CLP(Flex): Constraint Logic Programming Applied to XML Processing.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004

2003

Type-Based XML Processing in Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 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]