science.types (thread)

[TYPES/announce] Call For Participation to IMAGINE 2008 in Iceland, Nathalie MITTON
[TYPES/announce] Extended submission deadline of CRiSIS'2008, Ahmed Hadj Kacem
[TYPES/announce] WMM'08 call for papers, Karl Crary
analogy between Felleisen's syntactic theories of state and Hindley-Milner constraints, Jeremy Siek
- Re: analogy between Felleisen's syntactic theories of state and Hindley-Milner constraints, Francois Pottier
  - Re: analogy between Felleisen's syntactic theories of state and Hindley-Milner constraints, Matthias Felleisen
  - Re: analogy between Felleisen's syntactic theories of state and Hindley-Milner constraints, Gerard Boudol
- Re: analogy between Felleisen's syntactic theories of state andHindley-Milner constraints, Claus Reinke
[TYPES/announce] EXPRESS'08: preliminary call for papers, Daniele Gorla
Equational correspondence and equational embedding, Philip Wadler
- Re: Equational correspondence and equational embedding, Matthias Felleisen
Formal treatment of intersection/union/arrow subtyping?, Dan Smith
- Re: Formal treatment of intersection/union/arrow subtyping?, Benjamin Pierce
- Re: Formal treatment of intersection/union/arrow subtyping?, Noam Zeilberger
  - Re: Formal treatment of intersection/union/arrow subtyping?, Paul B Levy
    - Re: Formal treatment of intersection/union/arrow subtyping?, Rowan Davies
  - Re: Formal treatment of intersection/union/arrow subtyping?, gc-klhGwnj84BUD5ynB6aAmlA
- Re: Formal treatment of intersection/union/arrow subtyping?, Dan Smith
  - Re: Formal treatment of intersection/union/arrow subtyping?, gc-klhGwnj84BUD5ynB6aAmlA
    - Re: Formal treatment of intersection/union/arrow subtyping?, Dan Smith
    - Re: Formal treatment of intersection/union/arrow subtyping?, Mariangiola Dezani
- Re: Formal treatment of intersection/union/arrow subtyping?, NOREPLY
  - Re: Formal treatment of intersection/union/arrow subtyping?, Tim Sweeney
    - Re: Formal treatment of intersection/union/arrow subtyping?, gc-klhGwnj84BUD5ynB6aAmlA
- Re: Formal treatment of intersection/union/arrow subtyping?, Steffen van Bakel
[TYPES/announce] Post-Doctoral Position in Formal Approaches to Model-Driven Engineering, KELSEN Pierre