Home Advanced Search

Advanced Search - Page 1

Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Luís Caires, Luca Cardelli (auth.), Naoki Kobayashi, Benjamin C. Pierce (eds.)
Internet Programming Languages: ICCL’98 Workshop Chicago, IL, USA, May 13, 1998 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce (auth.), Henri E. Bal, Boumediene Belkhouche, Luca Cardelli (eds.)
ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Martín Abadi (auth.), Luca Cardelli (eds.)
Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Luís Caires
CONCUR 2007 – Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Fred B. Schneider (auth.), Luís Caires, Vasco T. Vasconcelos (eds.)
Mobile Object Systems Towards the Programmable Internet: Second International Workshop, MOS'96 Linz, Austria, July 8–9, 1996 Selected Presentations and Invited Papers
  • DJVU
  • English
  • Year: 1997
  • Author: Luca Cardelli (auth.), Jan Vitek, Christian Tschudin (eds.)
Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Luca Cardelli, Giorgio Ghelli (auth.), David Sands (eds.)
Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Martín Abadi, Luca Cardelli (auth.), Donald Sannella (eds.)
Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings
  • PDF
  • English
  • Year: 1994
  • Author: Martín Abadi, Luca Cardelli (auth.), Donald Sannella (eds.)
Theory and Practice of Model Transformations: Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Benjamin C. Pierce (auth.), Richard F. Paige (eds.)
search