Prakash Panangaden
-
Stochastic processes as concurrent constraint programs
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec
Information Processing Letters