May 2005 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Mon May 2 19:17:17 EST 2005
Ending: Tue May 24 15:28:50 EST 2005
Messages: 148

• [POPLmark] Twelf questions   Penny Anderson
• [POPLmark] How to believe the Twelf proof of 1a   Michael Philip Ashley-Rollman
• [POPLmark] How to believe the Twelf proof of 1a   Michael Philip Ashley-Rollman
• [POPLmark] [Provers] Re: Adequacy for LF   James Cheney
• [POPLmark] [Provers] Re: Adequacy for LF   James Cheney
• [POPLmark] [Provers] Re: Adequacy for LF   James Cheney
• [POPLmark] Regarding closure conversion   James Cheney
• [POPLmark] Meta-comment   James Cheney
• [POPLmark] An unscientific comparison   James Cheney
• [POPLmark] Meta-comment   James Cheney
• [POPLmark] Meta-comment   James Cheney
• [POPLmark] Adequacy for LF   Karl Crary
• [POPLmark] Adequacy for LF   Karl Crary
• [POPLmark] Adequacy for LF   Karl Crary
• [POPLmark] Adequacy for LF   Karl Crary
• [POPLmark] Re: [Provers] Re: adequacy   Karl Crary
• [POPLmark] Twelf questions   Karl Crary
• [POPLmark] Re: [Provers] Re: adequacy   Karl Crary
• [POPLmark] Re: [Provers] Re: adequacy   Karl Crary
• [POPLmark] Re: adequacy   Karl Crary
• [POPLmark] Lists of binders in HOAS   Karl Crary
• [POPLmark] [Provers] Re: Adequacy for LF   Karl Crary
• [POPLmark] [Provers] Re: Adequacy for LF   Karl Crary
• [POPLmark] [Provers] Re: Adequacy for LF   Karl Crary
• [POPLmark] Re: adequacy   Karl Crary
• [POPLmark] Re: adequacy   Karl Crary
• [POPLmark] [Provers] Re: Adequacy for LF   Karl Crary
• [POPLmark] [Provers] Re: Adequacy for LF   Karl Crary
• [POPLmark] [Provers] Re: Adequacy for LF   Karl Crary
• [POPLmark] Meta-comment   Karl Crary
• [POPLmark] Meta-comment   Karl Crary
• [POPLmark] Meta-comment   Karl Crary
• [POPLmark] Meta-comment   Karl Crary
• [POPLmark] Meta-comment   Karl Crary
• [POPLmark] Regarding closure conversion   Karl Crary
• [POPLmark] how to believe a twelf proof   Karl Crary
• [POPLmark] Meta-comment   Karl Crary
• [POPLmark] Meta-comment   Karl Crary
• [POPLmark] Meta-meta-comment   Karl Crary
• [POPLmark] how to believe a twelf proof   Karl Crary
• [POPLmark] how to believe a twelf proof   Karl Crary
• [POPLmark] how to believe a twelf proof   Karl Crary
• [POPLmark] Meta-comment   Karl Crary
• [POPLmark] Twelf question   Karl Crary
• [POPLmark] Twelf question   Karl Crary
• [POPLmark] How to believe the Twelf proof of 1a   Karl Crary
• [POPLmark] Re: Poplmark solution for challenge 3   Matthew Fairbairn
• [POPLmark] Adequacy for LF   Robert Harper
• [POPLmark] Adequacy for LF   Robert Harper
• [Provers] Re: [POPLmark] Submissions page and comments updated   Robert Harper
• [Provers] Re: [POPLmark] Submissions page and comments updated   Robert Harper
• [Provers] Re: [POPLmark] Submissions page and comments updated   Robert Harper
• [Provers] Re: [POPLmark] Submissions page and comments updated   Robert Harper
• [POPLmark] Re: [Provers] Re: adequacy   Robert Harper
• [POPLmark] how to believe a twelf proof   Robert Harper
• [POPLmark] Re: adequacy   Robert Harper
• [POPLmark] [Provers] Re: Adequacy for LF   Robert Harper
• [POPLmark] Lists of binders in HOAS   Robert Harper
• [POPLmark] Re: adequacy   Robert Harper
• [POPLmark] Meta-comment   Robert Harper
• [POPLmark] Meta-comment   Robert Harper
• [POPLmark] Meta-comment   Robert Harper
• [POPLmark] Meta-comment   Robert Harper
• [POPLmark] Re: Meta-comment   John R Harrison
• [POPLmark] [Provers] Re: Adequacy for LF   Greg Morrisett
• [POPLmark] Meta-comment   Greg Morrisett
• [POPLmark] [Provers] Re: Adequacy for LF   Greg Morrisett
• [POPLmark] Meta-comment   Greg Morrisett
• [POPLmark] Meta-comment   Greg Morrisett
• [POPLmark] Meta-comment   Greg Morrisett
• from left field, Re: [POPLmark] Meta-comment   David Naumann
• [POPLmark] Meta-comment   Michael Norrish
• [POPLmark] Meta-comment   Michael Norrish
• [POPLmark] Regarding closure conversion   Frank Pfenning
• [POPLmark] [Provers] Re: Adequacy for LF   Frank Pfenning
• [POPLmark] [Provers] Re: Adequacy for LF   Frank Pfenning
• [POPLmark] Meta-comment   Frank Pfenning
• [POPLmark] Meta-comment   Frank Pfenning
• [POPLmark] How to believe the Twelf proof of 1a   Frank Pfenning
• [POPLmark] Re: [Provers] Re: adequacy   Brigitte Pientka
• [POPLmark] Adequacy for LF   Benjamin Pierce
• [POPLmark] Lists of binders in HOAS   Benjamin Pierce
• [POPLmark] [Provers] Re: Adequacy for LF   Benjamin Pierce
• [POPLmark] Meta-comment   Benjamin Pierce
• [POPLmark] Meta-comment   Benjamin Pierce
• [POPLmark] Meta-comment   Benjamin Pierce
• [POPLmark] Meta-comment   Benjamin Pierce
• [POPLmark] Adequacy for LF   Randy Pollack
• [POPLmark] Adequacy for LF   Randy Pollack
• [POPLmark] Twelf questions   Randy Pollack
• [POPLmark] Re: adequacy   Randy Pollack
• [POPLmark] Meta-comment   Randy Pollack
• [POPLmark] how to believe a twelf proof   Randy Pollack
• [POPLmark] how to believe a twelf proof   Randy Pollack
• [POPLmark] how to believe a twelf proof   Randy Pollack
• [POPLmark] how to believe a twelf proof   Randy Pollack
• [POPLmark] Twelf question   Randy Pollack
• [POPLmark] Twelf question   Randy Pollack
• [POPLmark] Re: Meta-comment   Randy Pollack
• [POPLmark] How to believe the Twelf proof of 1a   Randy Pollack
• [POPLmark] How to believe the Twelf proof of 1a   Randy Pollack
• [POPLmark] How to believe the Twelf proof of 1a   Randy Pollack
• [POPLmark] FSub decidability   Jevgenijs Sallinenes/non-MAXIMUS
• [POPLmark] F-sub decidability   Jevgenijs Sallinenes/non-MAXIMUS
• [POPLmark] Adequacy for LF   Carsten Schuermann
• [Provers] Re: [POPLmark] Submissions page and comments updated   Peter Sewell
• [Provers] Re: [POPLmark] Submissions page and comments updated   Peter Sewell
• [Provers] Re: [POPLmark] Submissions page and comments updated   Peter Sewell
• [POPLmark] Meta-comment   Peter Sewell
• [POPLmark] Meta-comment   Peter Sewell
• [POPLmark] Twelf questions   Rob Simmons
• [POPLmark] Re: [Provers] Re: adequacy   Rob Simmons
• from left field, Re: [POPLmark] Meta-comment   Don Syme
• [POPLmark] Meta-comment   Christian Urban
• [Provers] Re: [POPLmark] Submissions page and comments updated   Jerome Vouillon
• [POPLmark] Proof of progress   Jerome Vouillon
• [POPLmark] Re: Pure Fsub   Jerome Vouillon
• [POPLmark] Records   Jerome Vouillon
• [POPLmark] Lists of binders in HOAS   David Walker
• [POPLmark] Meta-meta-comment   David Walker
• [POPLmark] Meta-comment   Daniel C. Wang
• [POPLmark] Meta-comment   Daniel C. Wang
• [POPLmark] Meta-comment   Daniel C. Wang
• [POPLmark] Meta-comment   Daniel C. Wang
• [POPLmark] Re: [Provers] Re: adequacy   Geoffrey A. Washburn
• [POPLmark] Re: [Provers] Re: adequacy   Geoffrey A. Washburn
• [POPLmark] Re: [Provers] Re: adequacy   Geoffrey A. Washburn
• [POPLmark] Re: [Provers] Re: adequacy   Geoffrey A. Washburn
• [POPLmark] Re: [Provers] Re: adequacy   Geoffrey A. Washburn
• [POPLmark] Re: [Provers] Re: adequacy   Geoffrey A. Washburn
• [POPLmark] Re: adequacy   Geoffrey A. Washburn
• [POPLmark] [Provers] Re: Adequacy for LF   Geoffrey A. Washburn
• [POPLmark] Re: adequacy   Geoffrey A. Washburn
• [POPLmark] [Provers] Re: Adequacy for LF   Geoffrey A. Washburn
• [POPLmark] [Provers] Re: Adequacy for LF   Geoffrey A. Washburn
• [POPLmark] [Provers] Re: Adequacy for LF   Geoffrey A. Washburn
• [POPLmark] Re: adequacy   Geoffrey A. Washburn
• [POPLmark] Adequacy for LF   Kevin Watkins
• [POPLmark] Adequacy for LF   Kevin Watkins
• [Provers] Re: [POPLmark] Submissions page and comments updated   Kevin Watkins
• [POPLmark] Re: [Provers] Re: adequacy   Kevin Watkins
• [POPLmark] Meta-comment   Kevin Watkins
• [POPLmark] New draft of the PoplMark paper   Stephanie Weirich
• [POPLmark] Adequacy for LF   Stephan Zdancewic
• [Provers] Re: [POPLmark] Submissions page and comments updated   Stephan Zdancewic
• [POPLmark] New draft of the PoplMark paper   Steve Zdancewic
• [POPLmark] Meta-comment   danwang at CS.Princeton.EDU
• [POPLmark] (no subject)   danwang at CS.Princeton.EDU

Last message date: Tue May 24 15:28:50 EST 2005
Archived on: Tue May 24 09:29:05 EST 2005

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...