Frank S. de Boer;Catuscia Palamidessi
-;-
From the π-calculus to flat GHC
Proceedings of the 14th symposium on Principles and practice of declarative programming