2013 Archives by author
Starting: Mon Jan 28 17:38:24 EST 2013
Ending: Tue Dec 24 18:41:11 EST 2013
Messages: 126
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Moez AbdelGawad
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Moez AbdelGawad
- [TYPES] [tag] Re: Declarative vs imperative
Moez AbdelGawad
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Andreas Abel
- [TYPES] decidability of BCCCs?
Arbob Ahmad
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Jonathan Aldrich
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Jonathan Aldrich
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Jonathan Aldrich
- [TYPES] essay on technical factors behind the success of objects
Jonathan Aldrich
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Paulo Sérgio Almeida
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Jamie Andrews
- [TYPES] type theory and Big Data
Veronique Benzaken
- [TYPES] [tag] Re: Declarative vs imperative
Luis Caires
- [TYPES] the possibly uselessness of semantics, was -- The type/object distinction and possible synthesis of OOP and imperative programming languages
Avik Chaudhuri
- [TYPES] type theory and Big Data
James Cheney
- [TYPES] Declarative vs imperative
Will Cook
- [TYPES] decidability of BCCCs?
Roberto Di Cosmo
- [TYPES] decidability of BCCCs?
Roberto Di Cosmo
- [TYPES] [tag] Re: Declarative vs imperative
Philippa Cowderoy
- [TYPES] Declarative vs imperative
Marc Denecker
- [TYPES] [tag] Re: Declarative vs imperative
Marc Denecker
- [TYPES] [tag] Re: Declarative vs imperative
Marc Denecker
- [TYPES] *** Coq survey *** (DEADLINE January 15th)
Derek Dreyer
- [TYPES] Declarative vs imperative
Martin Escardo
- [TYPES] [tag] Re: Declarative vs imperative
Martin Escardo
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Matthias Felleisen
- [TYPES] the possibly uselessness of semantics, was -- The type/object distinction and possible synthesis of OOP and imperative programming languages
Matthias Felleisen
- [TYPES] Types and Theorem Proving
Mario Frank
- [TYPES] Declarative vs imperative
Bram Geron
- [TYPES] Questions regarding a clock inference system for data-flow languages
Adrien Guatto
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Robert Harper
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Robert Harper
- [TYPES] Declarative vs imperative
Robert Harper
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
DeLesley Hutchins
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Mark Janssen
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Mark Janssen
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Mark Janssen
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Mark Janssen
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Mark Janssen
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Mark Janssen
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Mark Janssen
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Mark Janssen
- [TYPES] Declarative vs imperative
Mark Janssen
- [TYPES] the possibly uselessness of semantics, was -- The type/object distinction and possible synthesis of OOP and imperative programming languages
Mark Janssen
- [TYPES] Declarative vs imperative
Mark Janssen
- [TYPES] Declarative vs imperative
Mark Janssen
- [TYPES] Declarative vs imperative
Mark Janssen
- [TYPES] Declarative vs imperative
Mark Janssen
- [TYPES] [tag] Re: Declarative vs imperative
Mark Janssen
- [TYPES] type theory and Big Data
Barry Jay
- [TYPES] Decidability of type reconstruction in predicative System-F?
Fujita Kenetsu
- [TYPES] Declarative vs imperative
Robbert Krebbers
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Neelakantan R. Krishnaswami
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Lindsey Kuper
- [TYPES] Declarative vs imperative
Lindsey Kuper
- [TYPES] Future of TLCA
Dan Licata
- [TYPES] Declarative vs imperative
Vladimir Lifschitz
- [TYPES] Declarative vs imperative
Vladimir Lifschitz
- [TYPES] Declarative vs imperative
Vladimir Lifschitz
- [TYPES] [tag] Re: Declarative vs imperative
Tadeusz Litak
- [TYPES] decidability of BCCCs?
Tadeusz Litak
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Dermot McGahon
- [TYPES] the possibly uselessness of semantics, was -- The type/object distinction and possible synthesis of OOP and imperative programming languages
Kristopher Micinski
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Greg Morrisett
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Greg Morrisett
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Greg Morrisett
- [TYPES] type theory and Big Data
Dr. Rod Moten
- [TYPES] [tag] Re: Declarative vs imperative
Guillaume Munch-Maccagnoni
- [TYPES] John Reynolds
David Naumann
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Rishiyur Nikhil
- [TYPES] Declarative vs imperative
Rishiyur Nikhil
- [TYPES] Questions regarding a clock inference system for data-flow languages
Rajagopal Pankajakshan
- [TYPES] Questions regarding a clock inference system for data-flow languages
Rajagopal Pankajakshan
- [TYPES] Decidability of type reconstruction in predicative System-F?
Frank Pfenning
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Benjamin C. Pierce
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Benjamin C. Pierce
- [TYPES] Declarative vs imperative
Procter, Adam M. (MU-Student)
- [TYPES] Declarative vs imperative
Procter, Adam M. (MU-Student)
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Uday S Reddy
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Uday S Reddy
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Uday S Reddy
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Uday S Reddy
- [TYPES] Declarative vs imperative
Uday S Reddy
- [TYPES] Declarative vs imperative
Uday S Reddy
- [TYPES] Declarative vs imperative
Uday S Reddy
- [TYPES] the possibly uselessness of semantics, was -- The type/object distinction and possible synthesis of OOP and imperative programming languages
Uday S Reddy
- [TYPES] the possibly uselessness of semantics, was -- The type/object distinction and possible synthesis of OOP and imperative programming languages
Uday S Reddy
- [TYPES] Declarative vs imperative
Uday S Reddy
- [TYPES] Declarative vs imperative
Uday S Reddy
- [TYPES] Declarative vs imperative
Uday S Reddy
- [TYPES] Declarative vs imperative
Uday S Reddy
- [TYPES] Declarative vs imperative
Uday S Reddy
- [TYPES] Declarative vs imperative
Uday S Reddy
- [TYPES] John Reynolds
Uday S Reddy
- [TYPES] [tag] Re: Declarative vs imperative
Uday S Reddy
- [TYPES] [tag] Re: Declarative vs imperative
Uday S Reddy
- [TYPES] [tag] Re: Declarative vs imperative
Uday S Reddy
- [TYPES] [tag] Re: Declarative vs imperative
Uday S Reddy
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Claus Reinke
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Andreas Rossberg
- [TYPES] [tag] Re: Declarative vs imperative
Sergei SOLOVIEV
- [TYPES] Declarative vs imperative
Vijay Saraswat
- [TYPES] Declarative vs imperative
Chung-chieh Shan
- [TYPES] Declarative vs imperative
Chung-chieh Shan
- [TYPES] Decidability of type reconstruction in predicative System-F?
Christian Skalka
- [TYPES] [tag] Re: Declarative vs imperative
Adam Smith
- [TYPES] Declarative vs imperative
Adam Smith
- [TYPES] [tag] Re: Declarative vs imperative
Lukasz Stafiniak
- [TYPES] [ANN] InvarGenT: GADTs-based invariant/postcondition generation
Lukasz Stafiniak
- [TYPES] Declarative vs imperative
Kalani Thielen
- [TYPES] [tag] Re: Declarative vs imperative
Kalani Thielen
- [TYPES] [tag] Re: Declarative vs imperative
Kalani Thielen
- [TYPES] decidability of BCCCs?
Altenkirch Thorsten
- [TYPES] Future of TLCA
Paweł Urzyczyn
- [TYPES] Declarative vs imperative
Tjark Weber
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Jason Wilkins
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Jason Wilkins
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Jason Wilkins
- [TYPES] the possibly uselessness of semantics, was -- The type/object distinction and possible synthesis of OOP and imperative programming languages
Jason Wilkins
- [TYPES] the possibly uselessness of semantics, was -- The type/object distinction and possible synthesis of OOP and imperative programming languages
Jason Wilkins
- [TYPES] ICS calendar of conferences?
Todd Wilson
- [TYPES] decidability of BCCCs?
Ryan Wisnesky
- [TYPES] decidability of BCCCs?
Ryan Wisnesky
- [TYPES] decidability of BCCCs?
Ryan Wisnesky
- [TYPES] type theory and Big Data
Ryan Wisnesky
- [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
oleg at okmij.org
Last message date:
Tue Dec 24 18:41:11 EST 2013
Archived on: Tue Dec 24 18:42:15 EST 2013
This archive was generated by
Pipermail 0.09 (Mailman edition).