science.types (thread)

[TYPES/announce] Type-safe marshalling for OCaml, Peter Sewell
completeness of subtype judgments, Sophia Drossopoulou
- Re: completeness of subtype judgments, Giuseppe Castagna
  - Re: CORRIGENDA: completeness of subtype judgments, Giuseppe Castagna
- Re: completeness of subtype judgments, Gerwin Klein
- Re: completeness of subtype judgments, Alain Frisch
A type theory with partially defined functions and pattern matching, Yong Luo
- Re: ....pattern matching, Barry Jay
[TYPES/announce] Open position for a postdoctoral researcher at the TU Munich, Christian Urban
[TYPES/announce] Call For Participation - ETRICS 2006, types-list-5Ct/+cvLAjbddJNmlsFzeA