On Compilation of Higher-Order Concurrent Programs into First Order Programs Preserving Scope Equivalence

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)129-135
Number of pages7
JournalProc. of International Conference on Foundations of Computer Science 2011
Publication statusPublished - 2011

Cite this

@article{a980dd66c66645aab9a148be293cd6b1,
title = "On Compilation of Higher-Order Concurrent Programs into First Order Programs Preserving Scope Equivalence",
author = "Masaki Murakami",
year = "2011",
language = "English",
pages = "129--135",
journal = "Proc. of International Conference on Foundations of Computer Science 2011",

}

TY - JOUR

T1 - On Compilation of Higher-Order Concurrent Programs into First Order Programs Preserving Scope Equivalence

AU - Murakami, Masaki

PY - 2011

Y1 - 2011

M3 - Article

SP - 129

EP - 135

JO - Proc. of International Conference on Foundations of Computer Science 2011

JF - Proc. of International Conference on Foundations of Computer Science 2011

ER -