Pages that link to "Item:Q749197"
From MaRDI portal
The following pages link to Data structures and program transformation (Q749197):
Displaying 13 items.
- Constructing language processors with algebra combinators (Q608238) (← links)
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)
- Datatype-generic termination proofs (Q1015386) (← links)
- Inductive data types for predicate transformers (Q1199549) (← links)
- Paramorphisms (Q1201295) (← links)
- Calculate categorically! (Q1203123) (← links)
- The derivation of on-line algorithms, with an application to finding palindromes (Q1314430) (← links)
- A hidden agenda (Q1575735) (← links)
- Generic recursive lens combinators and their calculation laws (Q2123055) (← links)
- Recursive coalgebras from comonads (Q2495640) (← links)
- Factorising folds for faster functions (Q3070772) (← links)
- Classical (co)recursion: Mechanics (Q6132720) (← links)
- Algebraic dynamical systems in machine learning (Q6181739) (← links)
