1999-01-01から1年間の記事一覧
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/