The Next 700 Series

LandinのThe Next 700 Programming Language( http://portal.acm.org/citation.cfm?id=365257 )は1966年のCACMに載っていた話なんですけれども、今読んでいる

An Algorithm for Type-Checking Dependent Types ( http://www.cs.chalmers.se/~coquand/type.ps , http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.8898 )から、

The Next 700 Theorem Provers( http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-143.pdf )が参照されていて、他にもこのNext 700シリーズがあるのかと簡単に調べてみました。

• The next 700 formal language descriptions
  • http://www.springerlink.com/content/lq6351x558817574/
• The Next 700 Data Description Languages
  • http://www.research.att.com/~yitzhak/publications/next700ddl.pdf)
• The Next 700 Krivine Machines
  • http://hal.archives-ouvertes.fr/docs/00/05/21/84/PDF/HOSC06.pdf
• The Next 700 Markup Languages
  • http://homepages.inf.ed.ac.uk/wadler/papers/next700/next700.pdf
  • http://homepages.inf.ed.ac.uk/wadler/papers/next700dimacs/next700dimacs.pdf
• The next 700 reflective object-oriented languages
  • http://www.emn.fr/sudholt/papers/tr-1-1999.pdf

何か他に面白いのが在れば教えてください。

あと、700ってどういう意味なんだろう。元(?)のThe Next 700 Programming Languageは読んだ事が無いので、何かなーみたいな。