Laurent Dami Publications
Journal articles
-
A lambda-calculus for dynamic binding
, in
Theoretical Comp. Sc.,
vol 192(2), pp 201-231,
Feb 1998.
Citations.
Book articles
- Oscar Nierstrasz and
Laurent Dami,
``Component-Oriented Software Technology,''
Object-Oriented Software Composition,
O. Nierstrasz and D. Tsichritzis (Ed.),
Prentice Hall, 1995,
pp. 3-28.
abstract
Citations.
- Laurent Dami,
``Functions, Records and Compatibility in the Lambda N Calculus,''
Object-Oriented Software Composition,
O. Nierstrasz and D. Tsichritzis (Ed.),
Prentice Hall, 1995,
pp. 153-174.
abstract
-
Laurent Dami,
``Type Inference and Subtyping for Higher-Order Generative Communication,''
Coordination Programming: Mechanisms, Models, Semantics,
J.-M. Andreoli, C. Hankin and D. Le Métayer (Ed.),
Imperial College Press, 1996.
Conference articles
-
Operational Subsumption, an Ideal Model of Subtyping
Presented at the HOOTS
workshop, Stanford, Dec 1997; appeared in
Electronic Notes in Computer Science, vol 10.
-
Labelled Reductions, Runtime Errors, and Operational Subsumption
,
Proc. ICALP'97,
Springer-Verlag, LNCS 1256, pp 782-793.
Published extended abstract or
expanded version (tech. report)
- Laurent Dami.
``Liaison Dynamique: Sémantique Formelle et Exploitation Fonctionnelle''
Proceedings
Langages et Modèles à Objets '96, pp 247-260.
- Vicki de Mey,
Christian Breiteneder,
Laurent Dami,
Simon Gibbs and
Dennis Tsichritzis,
``Visual Composition and Multimedia,''
Proceedings of Eurographics 1992, Computer Graphics Forum,
vol. 11, no. 3,
Blackwell Publishers, 1992,
pp. 9-22.
- Simon Gibbs,
Christian Breiteneder,
Laurent Dami,
Vicki de Mey and
Dennis Tsichritzis,
``A Programming Environment for Multimedia Applications,''
Proceedings of the Second International Workshop on
Network and Operating System Support for Digital Audio and Video,
Heidelberg, 1991.
- Simon Gibbs,
Laurent Dami and
Dennis Tsichritzis,
``An Object-Oriented Framework for Multimedia Composition and Synchronisation,''
Object Composition,
D. Tsichritzis (Ed.),
Centre Universitaire d'Informatique, University of Geneva, June 1991,
pp. 133-143,
A version of this paper appeared in the Eurographics Multimedia Workshop,
Stockholm, 1991..
abstract
- Eugene Fiume,
Dennis Tsichritzis and
Laurent Dami,
``A Temporal Scripting Language for Object-Oriented Animation,''
Proceedings of Eurographics 1987 (North-Holland),
Elsevier Science Publishers,
Amsterdam, 1987.
abstract+file
Others
- articles in Geneva Object System Group Tech. Reports
Back to my homepage