David Wahlstedt

Contact information

University of Gothenburg, The Faculty of Arts, Department of Philosophy, Linguistics and Theory of Science (until the end of 2011)

• Email: david dot wahlstedt at gu dot se
• Mobile: +46 31 786 44 46

Personal contact info (more stable over time)

• Email: david dot wahlstedt at gmail dot com
• Mobile: +46 735 75 67 83

Written material

• Dependent Type Theory with First-Order Parameterized Data Types and Well-Founded Recursion , August 2007 :
  Doctoral Thesis.
  Defended Sept 14, Department of Computing Science and Engineering, Chalmers.
  Opponent: Ralph Matthes, IRIT, Touolouse, France.
  Printed verision: (pdf) , (bibtex) .
  My opponent has written a presentation, which is recommended as a quick introduction and as a guide to reading my dissertation. See the slides: (pdf) .
  
  
• Type Theory with First-Order Data Types and Size-Change Termination , September 2004 :
  Licentiate Thesis. Deprecated by the author's PhD dissertation(above). Please contact me if you still want a copy of this document.
  
  
• Detecting termination using size-change in parameter values, October 2000:
  Masters Thesis, based on the termination criterion / algorithm, "Size-Change Termination", introduced to functional programming by Chin Soon Lee, Neil D. Jones and Amir M. Ben-Amram
  (gzipped postscript) , (postscript) , (pdf) , (bibtex)