The following pages link to Programming Languages and Systems (Q5899005):
Displayed 5 items.
- Session types without sophistry. System description (Q2039935) (← links)
- A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation (Q2437794) (← links)
- Kleene Monads: Handling Iteration in a Framework of Generic Effects (Q2888474) (← links)
- LINCX: A Linear Logical Framework with First-Class Contexts (Q2988658) (← links)
- Typing Safe Deallocation (Q5458390) (← links)