ついにテクニカルレポートまで。http://www.cs.uu.nl/research/techreps/UU-CS-2007-029.html (via http://shuns.sakura.ne.jp/?%BD%B5%B5%AD 2007-10-10)

http://itpro.nikkeibp.co.jp/article/COLUMN/20071005/283903/?ST=develop今回は（今回も？）ややマニアックにparametricityやtype-directed partial evaluationの「お話」です。ちょっと詰め込み気味になってしまったかも…追記：そういえば、parametricity…