From HOT to COOL: Transforming Higher-Order Typed Languages to 
Concept-Constrained Object-Oriented Languages

Lincke, D.; Schupp, S.; Sloane, A.; Andova, S.

doi:10.1145/2427048.2427051

アイテム詳細

登録内容を編集ファイル形式で保存

一時保存へ追加

タグ情報を表示リリース履歴を表示詳細要約

公開

書籍の一部

From HOT to COOL: Transforming Higher-Order Typed Languages to Concept-Constrained Object-Oriented Languages

Authors

Lincke, D.
Potsdam Institute for Climate Impact Research and Cooperation Partners;

Schupp, S.
Potsdam Institute for Climate Impact Research and Cooperation Partners;

Sloane, A.
Potsdam Institute for Climate Impact Research and Cooperation Partners;

Andova, S.
Potsdam Institute for Climate Impact Research and Cooperation Partners;

URL

There are no locators available

フルテキスト (公開)

There are no public fulltexts stored in PIKpublic

付随資料 (公開)

There is no public supplementary material available

引用

Lincke, D., & Schupp, S. (2012). From HOT to COOL: Transforming Higher-Order Typed Languages to Concept-Constrained Object-Oriented Languages. In LDTA '12 Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications.

引用: https://publications.pik-potsdam.de/pubman/item/item_17937

要旨

要旨はありません