プログラミング言語リンク集論理型言語リンク集/ Elf

Elf

The Elf Meta-Language
http://www-2.cs.cmu.edu/~fp/elf.html
Carnegie Mellon University Frank Pfenningさん によるElfのサイト。 文献一覧、処理系、サンプルプログラムなどがある。
プログラミング言語リンク集論理型言語リンク集/ Elf

Last modified: Saturday, 16 July 2005
Copyright (C) 2004-2005 Daikoku Manabu