http://ontology.buffalo.edu/smith/

http://www.lix.polytechnique.fr/Labo/Dale.Miller/

http://www-2.cs.cmu.edu/~fp/

http://www.razorsoft.net/

http://personal.lse.ac.uk/willia11/

http://www.iro.umontreal.ca/~germaing/

http://www.cs.toronto.edu/~sme/

http://www.cs.nott.ac.uk/~cvh/

http://www.cs.utah.edu/~mflatt/

http://www.ccs.neu.edu/home/matthias/

http://web.ics.purdue.edu/~cpincock/

http://www.cwru.edu/artsci/math/wells/home.html

http://www.math.mcgill.ca/barr/

http://www.cs.man.ac.uk/~dturi/

http://www.cs.utah.edu/~jbaker/

http://www.disi.unige.it/person/MoggiE/

http://www.cs.ucsd.edu/users/goguen/

http://www.di.ens.fr/users/longo/

http://www.cs.ut.ee/~varmo/

http://www.cs.uu.nl/staff/lambert.html http://www.kestrel.edu/home/people/meertens/

http://www.ccs.neu.edu/home/wand/

http://www.cs.indiana.edu/~dfried/

http://www.cs.indiana.edu/~sganz/

http://www.eecs.harvard.edu/~ccshan/

http://homepages.inf.ed.ac.uk/wadler/ http://wadler.blogspot.com/

http://web.engr.oregonstate.edu/~erwig/

http://zls.mimuw.edu.pl/~urzy/home.html

http://www.diku.dk/users/rambo/

http://www.adamsah.net/~asah/

http://www.sims.berkeley.edu/~kahern/