science.types (thread)

[TYPES/announce] ECOOP 2007 - Call for Student Volunteers, Erik Ernst
logical relations, Gerard Boudol
Paper announcement: Syntactic Logical Relations for Polymorphic and Recursive Types, Karl Crary
XPath typing, Pierre Geneves
[TYPES/announce] [3WFTop]: Third Workshop on Formal Topology, Second Announcement, Peter Schuster
[TYPES/announce] MTCoord 2007 CFP, Isabelle Linden
[TYPES/announce] 2 PhD positions in Formal Methods at University of Oslo, Gerardo Schneider
Gradual Typing for Objects, Jeremy Siek
Formal proof of type-soundness for references in Coq, mulhern
- Re: Formal proof of type-soundness for references in Coq, Karl Crary
- Re: Formal proof of type-soundness for references in Coq, mulhern
GPCE'07 Call for Papers, Emir Pasalic
[Request-for-Comments] Cat : A Typed Functional Stack-Based Language, Christopher Diggins
- Re: [Request-for-Comments] Cat : A Typed Functional Stack-Based Language, Francois Pottier