science.types (date)

science.types (date)

February 25, 2008

Re: Object-oriented calculi, Carl Eastlund
[TYPES/announce] [SANET 2008] Call for Paper - Deadline is today, Michael Hauspie
Re: Object-oriented calculi, David Teller
Re: Object-oriented calculi, Daniel Yokomizo
Object-oriented calculi, Daniel Yokomizo

February 19, 2008

Paper announcement, Felice Cardone

February 18, 2008

focusing on binding and computation, Robert Harper
[TYPES/announce] Cfp: 3rd Int'l Workshop on Security and Rewriting Techniques Security (SecReT 2008), Santiago Escobar

February 05, 2008

[TYPES/announce] Position opening at the University of Bologna, Andrea Asperti

News | FAQ | advertise