dhr. prof. dr. P. (Paul) Klint

  • Faculteit der Natuurwetenschappen, Wiskunde en Informatica
  • Bezoekadres
    Science Park A
    Science Park 904  Amsterdam
  • Postadres:
    Postbus  94323
    1090 GH  Amsterdam
  • P.Klint@uva.nl


  • Klint, P. (2009). From Centaur to the Meta-Environment: A tribute to a great meta-technologist. In Y. Bertot, Y. Bertot, G. Huet, G. Huet, J-J. Lévy, & G. Plotkin (Eds.), From semantics to computer science: Essays in honour of Gilles Kahn. (pp. 235-263). Cambridge: Cambridge University Press. [details]
  • Klint, P., Vinju, J., & van der Storm, T. (2009). Language design for meta-programming in the software composition domain. Lecture Notes in Computer Science, 5634, 1-4. DOI: 10.1007/978-3-642-02655-3_1 [details]


  • Bergstra, J. A., & Klint, P. (2008). The Software Invention Cube: A classification scheme for software inventions. Journal of Intellectual Property Rights, 13(4), 293-300. [details]
  • Fokkink, W., Klint, P., Lisser, B., & Usenko, Y. S. (2008). Towards formal verification of ToolBus scripts. Lecture Notes in Computer Science, 5140, 160-166. DOI: 10.1007/978-3-540-79980-1_13 [details]


  • Steindorfer, M. J. (2017). Efficient Immutable Collections [details] [PDF]


  • Klint, P., & Nawrocki, J. R. (1998). Software Engineering Education Symposium, SEES '98, November 18-20, 1998, Poznań, Poland: conference proceedings. Poznań: Scientific publishers OWN, Polish ac. of sciences. [details]
  • van Deursen, A., Heering, J., & Klint, P. (1996). Language prototyping: an algebraic specification approach. (AMAST series in computing; Vol. 5). Singapore: World Scientific Publishing Co. [details]
This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications.

Geen nevenwerkzaamheden bekend

contactgegevens bewerken bewerk tabbladen