Changes between Version 17 and Version 18 of WikiStart


Ignore:
Timestamp:
Dec 27, 2012, 4:13:04 PM (12 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v17 v18  
    4444 * [http://www.cis.upenn.edu/~bcpierce/papers/binders.pdf Engineering Formal Metatheory (paper)] [http://www.chargueraud.org/softs/ln/ (proofs)]
    4545 * [http://www.seas.upenn.edu/~plclub/poplmark/ The POPLmark Challenge]
     46 * [http://compcert.inria.fr/ CompCert]
    4647 * [http://coq.inria.fr/cocorico/List%20of%20Coq%20PL%20Projects List of Programming Languages Coq projects]
    47  * [http://compcert.inria.fr/ CompCert]
    4848[[br]]
    4949[[br]]