François-Régis Sinot

15 papers Journal 4Unranked 10
YearRankTypeTitle / Venue / Authors
2007 — conf
Complete Laziness: a Natural Semantics.
WRS@RDP
François-Régis Sinot
2007 — conf
Minimality in a Linear Calculus with Iteration.
WRS@RDP
Sandra Alves, Mário Florido, Ian Mackie, François-Régis Sinot
2007 — conf
Sub-lambda-calculi, Classified.
TERMGRAPH@ETAPS
François-Régis Sinot
2006 J jnl
Call-by-need in token-passing nets.
Math. Struct. Comput. Sci.
François-Régis Sinot
2006 — conf
From Functional Programs to Interaction Nets via the Rewriting Calculus.
WRS@FLoC
Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot
2006 — conf
Rule-Based Operational Semantics for an Imperative Language.
RULE@FLoC
Florent Kirchner, François-Régis Sinot
2006 — —
Stratégies Efficaces et Modèles d'Implantation pour les Langages Fonctionnels. (Efficient Strategies and Implementation Models for Functional Languages).
François-Régis Sinot
2005 — conf
Call-by-Name and Call-by-Value as Token-Passing Interaction Nets.
TLCA
François-Régis Sinot
2005 J jnl
Closed reduction: explicit substitutions without alpha-conversion.
Math. Struct. Comput. Sci.
Maribel Fernández, Ian Mackie, François-Régis Sinot
2005 J jnl
Director Strings Revisited: A Generic Approach to the Efficient Representation of Free Variables in Higher-order Rewriting.
J. Log. Comput.
François-Régis Sinot
2005 — conf
Interaction Nets vs. the
EXPRESS
Maribel Fernández, Ian Mackie, François-Régis Sinot
2005 J jnl
Lambda-Calculus with Director Strings.
Appl. Algebra Eng. Commun. Comput.
Maribel Fernández, Ian Mackie, François-Régis Sinot
2005 — conf
Token-Passing Nets: Call-by-Need for Free.
DCM@ICALP
François-Régis Sinot
2004 — conf
Macros for Interaction Nets: A Conservative Extension of Interaction Nets.
TERMGRAPH
François-Régis Sinot, Ian Mackie
2003 — conf
Efficient Reductions with Director Strings.
RTA
François-Régis Sinot, Maribel Fernández, Ian Mackie