Pages that link to "Item:Q270034"
From MaRDI portal
The following pages link to A list of successes that can change the world. Essays dedicated to Philip Wadler on the occasion of his 60th birthday (Q270034):
Displaying 7 items.
- Generalized bounded linear logic and its categorical semantics (Q2233407) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- Session coalgebras: a coalgebraic view on session types and communication protocols (Q2233467) (← links)
- Modular Inference of Linear Types for Multiplicity-Annotated Arrows (Q5041106) (← links)
- Builtin types viewed as inductive families (Q6535230) (← links)
- Type-safe quantum programming in Idris (Q6535254) (← links)
- Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)