science.types (date)

science.types (date)

April 30, 2007

Re: available JVM implementations, Aaron Gray

April 27, 2007

[TYPES/announce] CFP: LFMTP'07, Brigitte Pientka
available JVM implementations, Davide Ancona

April 20, 2007

TLCA List of Open Problems, Pawel Urzyczyn

April 11, 2007

FINAL CFP: 9th Intl Workshop on Logic & Computational Complexity, James S. Royer

April 02, 2007

Co-algebraic semantics of typed lambda-calculus, Jacques Carette

News | FAQ | advertise