6 search results - page 2 / 2 » Towards a Quantum Calculus: (Work in Progress, Extended Abst... |
POPL
2008
ACM
14 years 5 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...