2. TACS 1994:
Sendai,
Japan
Masami Hagiya, John C. Mitchell (Eds.):
Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings.
Lecture Notes in Computer Science 789 Springer 1994, ISBN 3-540-57887-0 
@proceedings{DBLP:conf/tacs/1994,
editor = {Masami Hagiya and
John C. Mitchell},
title = {Theoretical Aspects of Computer Software, International Conference
TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings},
booktitle = {TACS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {789},
year = {1994},
isbn = {3-540-57887-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talk 1
Session 1. Lambda Calculus and Programming
Invited Talk 2
Session 2. Automated Deduction
Session 3. Functional Programming
Invited Talk 3
Session 4. Objects and Assignment
- Hideki Tsuiki:
A Normalizing Calculus with Overloading and Subtyping.
273-295
- Martín Abadi, Luca Cardelli:
A Theory of Primitive Objects - Untyped and First-Order Systems.
296-320
- Didier Rémy:
Programming Objects with ML-ART, an Extension to ML with Abstract and Record Types.
321-346
- Kung Chen, Martin Odersky:
A Type System for a Lambda Calculus with Assignments.
347-364
Invited Talk 4
- Akinori Yonezawa:
Theory and Practice of Concurrent Object-Oriented Computing.
365
Session 5. Concurrency I
Session 6. Term Rewriting and Process Equivalence
- D. J. B. Bosscher:
Term Rewriting Properties of SOS Axiomatisations.
425-439
- Wan Fokkink:
The Tyft/Tyxt Format Reduces to Tree Rules.
440-453
- Hans Hüttel:
Undecidable Equivalences for Basic Parallel Processes.
454-464
Invited Talk 5
Session 7. Type Theory and Programming
Invited Talk 6
- Moshe Y. Vardi:
Nontraditional Applications of Automata Theory.
575-597
Session 8. Algebra,
Categories and Linear Logic
Session 9. Subtyping,
Intersection and Union Types
Invited Talk 7
Session 10. Concurrency II
TACS Special Open Lectures
Copyright © Tue Nov 10 00:18:13 2009
by Michael Ley (ley@uni-trier.de)
