Search for persons
X
?
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming ,
2
Deciding kCFA is complete for EXPTIME:
, In:
?
Proceedings of the 12th ACM SIGPLAN international conference on Functional programming ,
3
Relating complexity and precision in control flow analysis:
, In:
?
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming ,
6
Types, potency, and idempotency : why nonlinearity and a..:
, In:
?
Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday ,
8
In Memoriam : Paris C. Kanellakis:
, In:
?
Proceedings of the eighth ACM SIGPLAN international conference on Functional programming ,
9
From Hilbert space to Dilbert space : context semantics ..:
, In:
?
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming ,
12
Relating typability and expressiveness in finite-rank inter..:
, In:
?
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages ,
14
Parallel beta reduction is not elementary recursive:
, In:
?
Proceedings of the second ACM SIGPLAN international conference on Functional programming ,
15