@inproceedings{coeffects-icalp13, author = {Petricek, Tomas and Orchard, Dominic and Mycroft, Alan}, title = {Coeffects: unified static analysis of context-dependence}, booktitle = {Proceedings of International Conference on Automata, Languages, and Programming - Volume Part II}, series = {ICALP 2013}, location = {Riga, Latvia}, year = {2013} } If you have any comments, suggestions or related idea
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く