November 2007 Archives by thread

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

Starting: Thu Nov 8 04:45:33 EDT 2007
Ending: Tue Nov 20 15:21:57 EDT 2007
Messages: 5

• [POPLmark] A new solution to part 1A using nested datatypes.   Marco Maggesi
  • [POPLmark] A new solution to part 1A using nested datatypes.   Benjamin Pierce
    • [POPLmark] A new solution to part 1A using nested datatypes.   Marco Maggesi
• [POPLmark] A sound semantics for OCaml light   Scott Owens
• [POPLmark] Coq Tutorial at POPL 2008: Using Proof Assistants for Programming Language Research   Stephanie Weirich

Last message date: Tue Nov 20 15:21:57 EDT 2007
Archived on: Tue Nov 20 15:22:04 EDT 2007

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