Types in compilation. 3rd international workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised selected papers

DOI10.1007/3-540-45332-6zbMATH Open0967.00071OpenAlexW2501880816MaRDI QIDQ5941728

Author name not available (Why is that?)

Publication date: 22 August 2001

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45332-6

zbMATH Keywords

WorkshopPapersCompilationMontreal (Canada)TIC 2000

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items (2)

Recent trends in data type specification. 9th Workshop on Specification of abstract data types joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected papers ⋮ Recents trends in data type specification. 8th workshop on specification of abstract data types joint with the 3rd COMPASS workshop, Dourdan, France, August 26-30, 1991. Selected papers

Recommendations

• Types for proofs and programs. International workshop, TYPES 2003, Torino, Italy, April 30 -- May 4, 2003. Revised selected papers. 👍 👎
• Conditional and typed rewriting systems. 2nd international CTRS workshop, Montreal, Canada, June 11--14, 1990. Proceedings 👍 👎
• Types for proofs and programs. International workshop TYPES '96, Aussois, France, December 15--19, 1996. Selected papers 👍 👎
• TYPES '93, Types for proofs and programs. International Workshop, Nijmegen, the Netherlands, May 24-28, 1993. Selected papers 👍 👎
• Types for proofs and programs. 3rd international workshop, TYPES '99, Lökeberg, Sweden, June 12--16, 1999. Selected papers 👍 👎
• Types for proofs and programs. International workshop, TYPES 2000, Durham, GB, December 8--12, 2000. Selected papers 👍 👎
• Types for proofs and programs. International workshop TYPES '95, Torino, Italy, June 5--8, 1995. Selected papers 👍 👎
• Types for proofs and programs. International workshop, TYPES '98. Kloster Irsee, Germany, March 27--31, 1999. Selected papers 👍 👎
• Types for proofs and programs. International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994. Selected papers 👍 👎
• Types for proofs and programs. International workshop, TYPES 2004, Jouy-en-Josas, France, December 15--18, 2004. Revised selected papers 👍 👎

This page was built for publication: Types in compilation. 3rd international workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised selected papers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5941728)