Content deleted Content added
Update ICFP main site link. |
Add link to home page of Workshop on Scheme and Functional Programming. |
||
Line 20:
* Workshop on Mechanizing Metatheory (WMM)
* Workshop on ML
* [http://www.schemeworkshop.org/ Workshop on Scheme and Functional Programming]
* Programming Languages meets Program Verification (PLPV) — 2007 only, now affiliated with [[POPL]]
|