6 search results - page 2 / 2 » Towards a Quantum Calculus: (Work in Progress, Extended Abst... |
205
click to vote
POPL
2008
ACM
15 years 12 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...