Pages that link to "Item:Q5348859"
From MaRDI portal
The following pages link to Proceedings of the second ACM SIGPLAN international conference on Functional programming (Q5348859):
Displayed 21 items.
- A modular, polyvariant and type-based closure analysis (Q5348860) (← links)
- Strongly typed flow-directed representation transformations (extended abstract) (Q5348861) (← links)
- Type-driven defunctionalization (Q5348862) (← links)
- Systematic realisation of control flow analyses for CML (Q5348864) (← links)
- Functional programming with graphs (Q5348865) (← links)
- Catenable double-ended queues (Q5348866) (← links)
- Statically checkable pattern abstractions (Q5348867) (← links)
- Flexible representation analysis (Q5348868) (← links)
- Lambda-splitting (Q5348869) (← links)
- Foundations for the implementation of higher-order subtyping (Q5348870) (← links)
- A practical subtyping system for Erlang (Q5348871) (← links)
- On the complexity of set-based analysis (Q5348872) (← links)
- Tupling calculation eliminates multiple data traversals (Q5348873) (← links)
- A bounds inference method for vector-based memoization (Q5348874) (← links)
- On global dynamics of optimal graph reduction (Q5348875) (← links)
- The development of Erlang (Q5348876) (← links)
- Type specialisation for imperative languages (Q5348877) (← links)
- Compositional references for stateful functional programming (Q5348878) (← links)
- Monadic state (Q5348879) (← links)
- Functional reactive animation (Q5348880) (← links)
- Formal models of distributed memory management (Q5348882) (← links)