@inproceedings{weko_123642_1, author = "渡辺,直一郎 and 鶴田,直之 and 日下部,茂 and 谷口,倫一郎 and 雨宮,真人", title = "関数型言語Validへのオブジェクト指向的記述形式の導入とその実現方式", booktitle = "全国大会講演論文集", year = "1993", volume = "第46回", number = "ソフトウェア", pages = "15--16", month = "mar" }