A list of successes that can change the world. Essays dedicated to Philip Wadler on the occasion of his 60th birthday
From MaRDI portal
Publication:270034
DOI10.1007/978-3-319-30936-1zbMath1333.68014OpenAlexW2505732535MaRDI QIDQ270034
No author found.
Publication date: 6 April 2016
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-30936-1
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30) Theory of software (68Nxx)
Related Items (6)
Modular Inference of Linear Types for Multiplicity-Annotated Arrows ⋮ When programs have to watch paint dry ⋮ Linearity and uniqueness: an entente cordiale ⋮ Generalized bounded linear logic and its categorical semantics ⋮ Graded Hoare logic and its categorical semantics ⋮ Session coalgebras: a coalgebraic view on session types and communication protocols
This page was built for publication: A list of successes that can change the world. Essays dedicated to Philip Wadler on the occasion of his 60th birthday
