June 2006 Archives by thread
Starting: Thu Jun 1 00:04:43 EDT 2006
Ending: Thu Jun 29 18:02:33 EDT 2006
Messages: 47
- [POPLmark] Poplmark Digest, Vol 10, Issue 5
Adam Chlipala
- [POPLmark] Poplmark Digest, Vol 10, Issue 5
Michael Norrish
- [POPLmark] Poplmark Digest, Vol 10, Issue 5
Dan Licata
- [POPLmark] Poplmark Digest, Vol 10, Issue 5
Daniel C. Wang
- [POPLmark] Poplmark Digest, Vol 10, Issue 5
Dan Licata
- [POPLmark] Poplmark Digest, Vol 10, Issue 5
Daniel C. Wang
- [POPLmark] Poplmark Digest, Vol 10, Issue 5
Karl Crary
- [POPLmark] Poplmark Digest, Vol 10, Issue 5
Daniel C. Wang
- [POPLmark] Poplmark Digest, Vol 10, Issue 5
Adam Chlipala
- [POPLmark] Poplmark Digest, Vol 10, Issue 5
Karl Crary
- [POPLmark] Poplmark Digest, Vol 10, Issue 5
Daniel C. Wang
- [POPLmark] Poplmark Digest, Vol 10, Issue 5
Karl Crary
- [POPLmark] Poplmark Digest, Vol 10, Issue 5
Hongwei Xi
- [POPLmark] Poplmark Digest, Vol 10, Issue 5
Jevgenijs Sallinens
- [POPLmark] Poplmark Digest, Vol 10, Issue 5
Karl Crary
- [POPLmark] Poplmark Digest, Vol 10, Issue 5
Michael Norrish
- [POPLmark] A theory of System-F in Isabelle/HOL
Dimitrios Vytiniotis
- [POPLmark] Poplmark Digest, Vol 10, Issue 5
Michael Norrish
- [POPLmark] Poplmark Digest, Vol 10, Issue 5
Karl Crary
- [POPLmark] Poplmark Digest, Vol 10, Issue 5
Michael Norrish
- [POPLmark] Poplmark Digest, Vol 10, Issue 5
Aaron Stump
- [POPLmark] Poplmark Digest, Vol 10, Issue 5
Frank Pfenning
- [POPLmark] Poplmark Digest, Vol 10, Issue 5
Dan Licata
- [POPLmark] Poplmark Digest, Vol 10, Issue 5
Aaron Stump
- [POPLmark] Poplmark Digest, Vol 10, Issue 5
Karl Crary
- [POPLmark] Poplmark Digest, Vol 10, Issue 5
Karl Crary
- [POPLmark] Poplmark Digest, Vol 10, Issue 5
Christian Urban
- [POPLmark] The purpose of challenge problems?
Karl Crary
- [POPLmark] A Comparison of Representations
Arthur Chargueraud
- [POPLmark] Type-refinement "challenge"
Daniel C. Wang
- [POPLmark] New solution to Part 1A
Adam Chlipala
- [POPLmark] Another new solution to Part 1A
Arthur Charguéraud
Last message date:
Thu Jun 29 18:02:33 EDT 2006
Archived on: Thu Jun 29 18:02:43 EDT 2006
This archive was generated by
Pipermail 0.09 (Mailman edition).