Advertisement

What Do Program Logics and Type Systems Have in Common?

  • Martin Hofmann
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3142)

Abstract

This talk tries to contribute to a discussion started by John Reynolds’ in his short presentation (“five minute madness talk”) at the SPACE workshop 2004 (http://www.diku.dk/topps/space2004/).

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Martin Hofmann
    • 1
  1. 1.Department of InformaticsUniversity of MunichMünchenGermany

Personalised recommendations