science.types (date)

science.types (date)

April 30, 2008

[TYPES/announce] Call For Participation to IMAGINE 2008 in Iceland, Nathalie MITTON

April 28, 2008

[TYPES/announce] Extended submission deadline of CRiSIS'2008, Ahmed Hadj Kacem

April 24, 2008

Re: analogy between Felleisen's syntactic theories of state andHindley-Milner constraints, Claus Reinke
Re: analogy between Felleisen's syntactic theories of state and Hindley-Milner constraints, Gerard Boudol
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, Francois Pottier

April 23, 2008

[TYPES/announce] WMM'08 call for papers, Karl Crary

April 22, 2008

analogy between Felleisen's syntactic theories of state and Hindley-Milner constraints, Jeremy Siek

April 17, 2008

[TYPES/announce] EXPRESS'08: preliminary call for papers, Daniele Gorla

April 16, 2008

Re: Formal treatment of intersection/union/arrow subtyping?, gc-klhGwnj84BUD5ynB6aAmlA

April 15, 2008

Re: Formal treatment of intersection/union/arrow subtyping?, Tim Sweeney
Re: Formal treatment of intersection/union/arrow subtyping?, Steffen van Bakel
Re: Equational correspondence and equational embedding, Matthias Felleisen
Equational correspondence and equational embedding, Philip Wadler

April 11, 2008

Re: Formal treatment of intersection/union/arrow subtyping?, Mariangiola Dezani
Re: Formal treatment of intersection/union/arrow subtyping?, Dan Smith
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?, gc-klhGwnj84BUD5ynB6aAmlA

April 10, 2008

Re: Formal treatment of intersection/union/arrow subtyping?, Paul B Levy
Re: Formal treatment of intersection/union/arrow subtyping?, Dan Smith
Re: Formal treatment of intersection/union/arrow subtyping?, Noam Zeilberger

April 09, 2008

Re: Formal treatment of intersection/union/arrow subtyping?, NOREPLY
Re: Formal treatment of intersection/union/arrow subtyping?, Benjamin Pierce
Formal treatment of intersection/union/arrow subtyping?, Dan Smith

April 08, 2008

[TYPES/announce] Post-Doctoral Position in Formal Approaches to Model-Driven Engineering, KELSEN Pierre

News | FAQ | advertise