The impact of higher-order state and control effects on local relational 
reasoning

Dreyer, Derek; Neis, Georg; Birkedal, Lars

アイテム詳細

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

一時保存へ追加

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

公開

会議論文

The impact of higher-order state and control effects on local relational reasoning

MPS-Authors

/persons/resource/persons144520

Dreyer, Derek
Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons145954

Neis, Georg
Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

There are no locators available

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

フルテキスト (公開)

公開されているフルテキストはありません

付随資料 (公開)

There is no public supplementary material available

引用

Dreyer, D., Neis, G., & Birkedal, L. (2010). The impact of higher-order state and control effects on local relational reasoning. In ICFP’10: proceedings of the 2010 ACM SIGPLAN International Conference on Functional Programming (pp. 143-156). New York, NY: ACM.

引用: https://hdl.handle.net/11858/00-001M-0000-0028-8BA5-6

要旨

要旨はありません