Laurent Dami

Affiliations:
  • University of Geneva, Switzerland


According to our database1, Laurent Dami authored at least 7 papers between 1987 and 1998.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

1998
A Lambda-Calculus for Dynamic Binding.
Theor. Comput. Sci., 1998

1997
Operational Subsumption, an Ideal Model of Subtyping.
Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997

Labelled Reductions, Runtime Errors and Operational Subsumption.
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

1996
Liaison dynamique: sémantique formelle et exploitation fonctionnelle.
Proceedings of the Actes des journéees Langages et Modèles à Objets, 1996

1992
Visual Composition and Multimedia.
Comput. Graph. Forum, 1992

1991
A Programming Environment for Multimedia Applications.
Proceedings of the Network and Operating System Support for Digital Audio and Video, 1991

1987
A Temporal Scripting Language for Object-Oriented Animation.
Proceedings of the 8th European Computer Graphics Conference and Exhibition, 1987


  Loading...