science.types (date)

science.types (date)

February 28, 2007

[TYPES/announce] ECOOP 2007 - Call for Student Volunteers, Erik Ernst

February 26, 2007

logical relations, Gerard Boudol

February 20, 2007

Paper announcement: Syntactic Logical Relations for Polymorphic and Recursive Types, Karl Crary
XPath typing, Pierre Geneves
Re: Formal proof of type-soundness for references in Coq, mulhern

February 16, 2007

[TYPES/announce] [3WFTop]: Third Workshop on Formal Topology, Second Announcement, Peter Schuster

February 14, 2007

[TYPES/announce] MTCoord 2007 CFP, Isabelle Linden

February 13, 2007

[TYPES/announce] 2 PhD positions in Formal Methods at University of Oslo, Gerardo Schneider

February 12, 2007

Re: Formal proof of type-soundness for references in Coq, Karl Crary
Gradual Typing for Objects, Jeremy Siek
Formal proof of type-soundness for references in Coq, mulhern

February 04, 2007

GPCE'07 Call for Papers, Emir Pasalic

February 01, 2007

Re: [Request-for-Comments] Cat : A Typed Functional Stack-Based Language, Francois Pottier
[Request-for-Comments] Cat : A Typed Functional Stack-Based Language, Christopher Diggins

News | FAQ | advertise