Pages that link to "Item:Q1887670"
From MaRDI portal
The following pages link to Monadification of functional programs (Q1887670):
Displaying 8 items.
- Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (Q532398) (← links)
- Compositions of programs that induce special monotonic functions (Q1091118) (← links)
- Side-effect localization for lazy, purely functional languages via aspects (Q1929361) (← links)
- Monads for the formalization of a pattern matching procedure (Q2017780) (← links)
- Monadic augment and generalised short cut fusion (Q2936792) (← links)
- (Q3395336) (← links)
- Monads, indexes and transformations (Q5044745) (← links)
- Monadic augment and generalised short cut fusion (Q5428372) (← links)