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