François-Régis Sinot

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

Sub-lambda-calculi, Classified.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Computing with Terms and Graphs, 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

2006

Stratégies Efficaces et Modèles d'Implantation pour les Langages Fonctionnels. (Efficient Strategies and Implementation Models for Functional Languages).

[BibT_eX]

[DOI]

PhD thesis, 2006

Call-by-need in token-passing nets.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2006

Rule-Based Operational Semantics for an Imperative Language.

[BibT_eX]

[DOI]

Florent Kirchner

Proceedings of the 7th International Workshop on Rule Based Programming, 2006

From Functional Programs to Interaction Nets via the Rewriting Calculus.

[BibT_eX]

[DOI]

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

2005

Closed reduction: explicit substitutions without alpha-conversion.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2005

Director Strings Revisited: A Generic Approach to the Efficient Representation of Free Variables in Higher-order Rewriting.

[BibT_eX]

[DOI]

J. Log. Comput., 2005

Token-Passing Nets: Call-by-Need for Free.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Developments in Computational Models, 2005

Interaction Nets vs. the <i>rho</i>-calculus: Introducing Bigraphical Nets.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on Expressiveness on Concurrency, 2005

Lambda-Calculus with Director Strings.

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 2005

Call-by-Name and Call-by-Value as Token-Passing Interaction Nets.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

2004

Macros for Interaction Nets: A Conservative Extension of Interaction Nets.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Term Graph Rewriting, 2004

2003

Efficient Reductions with Director Strings.

[BibT_eX]

[DOI]