Pages that link to "Item:Q5176956"
From MaRDI portal
The following pages link to Proceedings of the 16th ACM SIGPLAN international conference on Functional programming (Q5176956):
Displaying 34 items.
- Just do it (Q5176957) (← links)
- Lightweight monadic programming in ML (Q5176958) (← links)
- Functional programming through deep time (Q5176960) (← links)
- Monads, zippers and views (Q5176961) (← links)
- A semantic model for graphical user interfaces (Q5176962) (← links)
- Modular rollback through control logging (Q5176963) (← links)
- Pushdown flow analysis of first-class control (Q5176964) (← links)
- Subtyping delimited continuations (Q5176965) (← links)
- Set-theoretic foundation of parametric polymorphism and subtyping (Q5176966) (← links)
- Parametric polymorphism and semantic subtyping (Q5176967) (← links)
- Balanced trees inhabiting functional parallel programming (Q5176968) (← links)
- Implicit self-adjusting computation for purely functional programs (Q5176969) (← links)
- On the bright side of type classes (Q5176970) (← links)
- Functional modelling of musical harmony (Q5176972) (← links)
- How to make ad hoc proof automation less ad hoc (Q5176973) (← links)
- Temporal higher-order contracts (Q5176974) (← links)
- Parsing with derivatives (Q5176976) (← links)
- Geometry of synthesis iv (Q5176977) (← links)
- A hierarchy of mendler style recursion combinators (Q5176978) (← links)
- Typed self-interpretation by pattern matching (Q5176979) (← links)
- Using camlp4 for presenting dynamic mathematics on the web (Q5176980) (← links)
- Secure distributed programming with value-dependent types (Q5176981) (← links)
- Frenetic (Q5176982) (← links)
- Nameless, painless (Q5176983) (← links)
- Binders unbound (Q5176984) (← links)
- Recursion principles for syntax with bindings and substitution (Q5176985) (← links)
- Proving the unique fixed-point principle correct (Q5176987) (← links)
- Linearity and PCF (Q5176988) (← links)
- Generalising and dualising the third list-homomorphism theorem (Q5176989) (← links)
- Incremental updates for efficient bidirectional transformations (Q5176990) (← links)
- Modular verification of preemptive OS kernels (Q5176991) (← links)
- Characteristic formulae for the verification of imperative programs (Q5176992) (← links)
- An equivalence-preserving CPS translation via multi-language semantics (Q5176993) (← links)
- A kripke logical relation for effect-based program transformations (Q5176994) (← links)
