Pages that link to "Item:Q5408394"
From MaRDI portal
The following pages link to Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Q5408394):
Displayed 5 items.
- Abstract effects and proof-relevant logical relations (Q5408454) (← links)
- Parametric effect monads and semantics of effect systems (Q5408455) (← links)
- Applying quantitative semantics to higher-order quantum computing (Q5408456) (← links)
- A nonstandard standardization theorem (Q5408457) (← links)
- Closed type families with overlapping equations (Q5408458) (← links)