Electronic Notes in Theoretical Computer Science, Volume 75

Volume 75, 2002

TIP'02: International Workshop in Types in Programming
July 2002

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Bakel02
- ask others
Steffen van Bakel: Rank 2 Types for Term Graph Rewriting. 1-20
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Bonniot02
- ask others
Daniel Bonniot: Using kinds to type partially-polymorphic methods. 21-40
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/MartinsLV02
- ask others
Francisco Martins, Luís M. B. Lopes, Vasco Thudichum Vasconcelos: The Impact of Linearity Information on the Performance of TyCO. 41-60
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/SkalkaP02
- ask others
Christian Skalka, François Pottier: Syntactic Type Soundness for HM(X). 61-74
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/SkalkaS02
- ask others
Christian Skalka, Scott F. Smith: Set Types and Applications. 75-94
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/TabuchiSY02
- ask others
Naoshi Tabuchi, Eijiro Sumii, Akinori Yonezawa: Regular Expression Types for Strings in a Text Processing Language. 95-113
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/BartheT02
- ask others
Gilles Barthe, Peter Thiemann: Preface. 114-115