Menu

Stefan Kahrs

7 published titles

Unlimp uniqueness as a Leitmotiv for implementation

1 edition

  • LFCS, Dept. of Computer Science, University of Edinburgh
  • 1992
  • Details

Polymorphic type checking by interpretation of code

1 edition

  • LFCS, Dept. of Computer Science, University of Edinburgh
  • 1992
  • Details

Mistakes and ambiguities in the definition of Standard ML

1 edition

  • LFCS, Dept. of Computer Science, University of Edinburgh
  • 1993
  • Details

Interfaces and extended ML

1 edition

  • LFCS, Dept. of Computer Science, University of Edinburgh
  • 1994
  • Details

First-class polymorphisms for ML

1 edition

  • LFCS, Dept. of Computer Science, University of Edinburgh
  • 1994
  • Details

The definition of Extended ML

1 edition

  • LFCS, Dept. of Computer Science, University of Edinburgh
  • 1994
  • Details

Towards a domain theory for termination proofs

1 edition

  • LFCS, Dept. of Computer Science, University of Edinburgh
  • 1995
  • Details

obnb.uk is a Good Stuff website.