.:. Browse > List by authors > Liquori .:.

18 documents ordered by : Date Title first author name document type Submit date

1 - 2

A Framework for Defining Logical Frameworks Liquori L., Honsell F., Lenisa M. N° RR-5963 (2006) [inria-00088809 - version 2]

Decidable Type Inference for the Polymorphic Rewriting Calculus Cirstea H., Kirchner C., Liquori L., Wack B. Dans 17è Journées Francophones des Langages Applicatifs - JFLA 2006 (2006) [inria-00000817 - version 1]

The Polymorphic Rewriting Calculus: Type checking vs. Type inference Liquori L., Wack B. In 5th International Workshop on Rewriting Logic and its Applications - WRLA 2004 (2004) 22 p [inria-00099910 - version 1]

Rewriting Calculus with Fixpoints: Untyped and First-order Systems Cirstea H., Liquori L., Wack B. In Annual Workshop on the Types Working Group - TYPES'2003 3085 (2003) 147-161 [inria-00100113 - version 1]

Featherweight-Trait Java : A Trait-based Extension for FJ Liquori L., Spiwack A. N° RR-5247 (2004) [inria-00070751 - version 1]

Pure Patterns Type Systems Barthe G., Cirstea H., Kirchner C., Liquori L. In Principles of Programming Languages - POPL'2003 (2003) 16 p [inria-00099463 - version 1]

Rewrite Strategies in the Rewriting Calculus Cirstea H., Kirchner C., Liquori L., Wack B. In 3rd International Workshop on Reduction Strategies in Rewriting and Programming 2003 - WRS'03 (2003) 33 p [inria-00099586 - version 1]

On the Formalization of Imperative Object-based Calculiin (Co)Inductive Type Theories Ciaffaglione A., Liquori L., Miculan M. N° RR-4812 (2003) [inria-00071774 - version 1]

The rho cube : some results, some problems Cirstea H., Kirchner C., Liquori L., Wack B. In First International Workshop on Higher-Order Rewriting - HOR'02 (2002) [inria-00099411 - version 1]

Rewriting Calculus with(out) Types Cirstea H., Kirchner C., Liquori L. Dans Workshop on Rewriting Logic and its Applications - WRLA'2002 (2002) 17 p [inria-00100858 - version 1]