International Conference on Functional Programming: Difference between revisions

Content deleted Content added
Update ICFP main site link.
Ululation (talk | contribs)
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]]