Changes between Version 13 and Version 14 of WikiStart


Ignore:
Timestamp:
Dec 27, 2012, 3:42:27 PM (12 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v13 v14  
    4040 * Send email to `iron (wibble) ouroborus.net`
    4141
     42== Related Work ==
     43
     44 * [http://www.cis.upenn.edu/~bcpierce/sf/ Software Foundations]
     45 * [http://adam.chlipala.net/cpdt/ Certified Programming with Dependent Types]
     46 * [http://www.cis.upenn.edu/~bcpierce/papers/binders.pdf Engineering Formal Metatheory (paper)] [http://www.chargueraud.org/softs/ln/ (proofs)]
     47 * [http://www.seas.upenn.edu/~plclub/poplmark/ The POPLmark Challenge]
    4248[[br]]
    4349[[br]]