science.types (date)

science.types (date)

January 30, 2006

Re: logical relations, Don Sannella

January 26, 2006

Re: logical relations, Robert Harper
logical relations, Coquand
Re: logical relations, James Cheney
logical relations, Thomas Streicher
Re: logical relations, Jeffrey Sarnat
Re: logical relations, Uday Reddy
Re: logical relations, Eijiro Sumii

January 25, 2006

Re: logical relations, David Naumann
Re: logical relations, Geoffrey Alan Washburn
Re: logical relations, Nick Benton
logical relations, Eijiro Sumii

January 24, 2006

[TYPES/announce] WRLA 2006: accepted papers and call for system/tool demos, WRLA Acct (Denker)

January 23, 2006

[TYPES/announce] 2nd CFP: Programming Languages and Analysis for Security (PLAS) 2006, Steve Zdancewic
Re: Electronic publications, Gopalan Nadathur

January 18, 2006

[TYPES/announce] Call for Papers - GPCE'06, Emir Pasalic

January 17, 2006

[TYPES/announce] Int. Conference on Emerging Trends in Information and Communication Security 2006 - Submission deadline: January 22, 2006, types-list-5Ct/+cvLAjbddJNmlsFzeA

January 16, 2006

[TYPES/announce] Final CfP: ESSLLI 2006 STUDENT SESSION, J. Huitink

January 13, 2006

[TYPES/announce] DAIS'06 - EXTENDED DEADLINE, DAIS'06
Re: Electronic publications, Joe Wells

January 12, 2006

Electronic publications, Steffen van Bakel
[TYPES/announce] PhD assistantships available at UVM, Christian Skalka

January 10, 2006

[TYPES/announce] FMOODS 06: deadline extended: 22. Jan.!, Martin Steffen

January 09, 2006

A doubt in AUTOMATH type system, Param Jyothi Reddy

January 06, 2006

[TYPES/announce] CFP: Programming Languages and Analysis for Security (PLAS 2006), Steve Zdancewic

January 04, 2006

Re: Limited use of negation types?, Giuseppe Castagna
[TYPES/announce] A new year, a new mailing list for announcements, Stephanie Weirich

News | FAQ | advertise