Home Advanced Search

Advanced Search - Page 1

Modern Compiler Implementation in Java
  • CHM
  • English
  • Year: 2002
  • Author: Andrew W. Appel, Jens Palsberg
Modern Compiler Implementation in ML
  • PDF
  • English
  • Year: 2004
  • Author: Andrew W. Appel
Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2009
  • Author: Jens Palsberg (auth.), Jens Palsberg (eds.)
Alan Turing's Systems of Logic: The Princeton Thesis
  • PDF
  • English
  • Year: 2021
  • Author: Andrew W. Appel (editor)
Object-Oriented Type Systems
  • DJVU
  • English
  • Year: 1994
  • Author: Jens Palsberg, Michael I. Schwartzbach
Modern Compiler Implementation in C
  • PDF
  • English
  • Year: 1998
  • Author: Andrew W. Appel, Maia Ginsburg
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
  • PDF
  • English
  • Year: 2018
  • Author: Isil Dillig,Jens Palsberg (eds.)
Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Andrew W. Appel (auth.), Gilles Barthe (eds.)
Mathematics for physics and physicists
  • PDF
  • English
  • Year: 2007
  • Author: Appel W.
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.)
search