Christian Queinnec

According to our database, Christian Queinnec authored at least 32 papers between 1981 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

MOOC and Mechanized Grading.

Christian Queinnec

Proceedings of the CSEDU 2014, 2014

2010

A multi-tier semantics for Hop.

Manuel Serrano, Christian Queinnec

High. Order Symb. Comput., 2010

An Infrastructure for Mechanised Grading.

Christian Queinnec

Proceedings of the CSEDU 2010 - Proceedings of the Second International Conference on Computer Supported Education, Valencia, Spain, April 7-10, 2010, 2010

2007

Teaching CS to undergraduates at UPMC.

Christian Queinnec

Proceedings of the International Lisp Conference, 2007

2005

Resource aware programming.

Luc Moreau, Christian Queinnec

ACM Trans. Program. Lang. Syst., 2005

Automatic Introduction of Mobility for Standard-Based Frameworks.

Grégory Haïk, Jean-Pierre Briot, Christian Queinnec

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

2004

Continuations and Web Servers.

Christian Queinnec

High. Order Symb. Comput., 2004

2003

Inverting back the inversion of control or, continuations versus page-centric programming.

Christian Queinnec

ACM SIGPLAN Notices, 2003

Lisp in small pieces.

Christian Queinnec

Cambridge University Press, ISBN: 978-0-521-54566-2, 2003

2002

Experiment around a training engine.

Anne Brygoo, Titou Durand, Pascal Manoury, Christian Queinnec, Michèle Soria

Proceedings of the TelE-Learning: the Challenge for the Third Millennium, IFIP 17^th World Computer Congress, 2002

2000

The influence of browsers on evaluators or, continuations to program web servers.

Christian Queinnec

Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

Continuations and Conversations.

Christian Queinnec

Proceedings of the Artificial Intelligence: Methodology, 2000

1999

Marshaling/Demarshaling as a Compilation/Interpretation Process.

Christian Queinnec

Proceedings of the 13th International Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS / SPDP '99), 1999

1998

Distributed Computations Driven by Resource Consumption.

Luc Moreau, Christian Queinnec

Proceedings of the 1998 International Conference on Computer Languages, 1998

1997

Fast and Compact Dispatching for Dynamic Object-Oriented Languages.

Christian Queinnec

Inf. Process. Lett., 1997

Design and Semantics of Quantum: A Language to Control Resource Consumption in Distributed Computing.

Luc Moreau, Christian Queinnec

Proceedings of the Conference on Domain-Specific Languages, 1997

1996

Sharing Code through First-class Environments.

Christian Queinnec, David De Roure

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

1995

DMEROON, Overview of a Distributed Class-Based Causally-Coherent Data Model.

Christian Queinnec

Proceedings of the Parallel Symbolic Languages and Systems, 1995

1994

Sharing Mutable Objects and Controlling Groups of Tasks in a Concurrent and Distributed Language.

Christian Queinnec

Proceedings of the Theory and Practice of Parallel Programming, 1994

Partial Continuations as the Difference of Continuations - A Duumvirate of Control Operators.

Luc Moreau, Christian Queinnec

Proceedings of the Programming Language Implementation and Logic Programming, 1994

Locality, Causality and Continuations.

Christian Queinnec

Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994

1992

Partial Evaluation applied to Symbolic Pattern Matching with Intelligent Backtrack.

Christian Queinnec, P. Geffroy

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

Value Transforming Style.

Christian Queinnec

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

Design of a Concurrent and Distributed Language.

Christian Queinnec, David De Roure

Proceedings of the Parallel Symbolic Computing: Languages, 1992

Garbage Collecting the World.

Bernard Lang, Christian Queinnec, José M. Piquer

Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

A Concurrent and Distributed Extension of Scheme.

Christian Queinnec

Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992

1991

A Proposal for a Modular Lisp with Macros and Dynamic Evaluation.

Christian Queinnec, Julian A. Padget

Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991

A Dynamic Extent Control Operator for Partial Continuations.

Christian Queinnec, Bernard P. Serpette

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

1990

Compilation of Non-Linear, Second Order Patterns on S-Expressions.

Christian Queinnec

Proceedings of the Programming Language Implementation and Logic Programming, 1990

1989

Mark DURING Sweep rather than Mark THEN Sweep.

Christian Queinnec, Barbara Beaudoing, Jean-Pierre Queille

Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

1988

An Open-Ended Data Representation Model for EU_LISP.

Christian Queinnec, Pierre Cointe

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988

1981

Une Formalisation des Systèmes Conversationnels.

Christian Queinnec

RAIRO Theor. Informatics Appl., 1981