The following pages link to Patrik Jansson (Q1347991):
Displaying 18 items.
- Polytypic data conversion programs (Q1347992) (← links)
- Proofs for free (Q2844694) (← links)
- (Q2980971) (← links)
- Generic programming with C++ concepts and Haskell type classes—a comparison (Q3070769) (← links)
- Algebra of Programming Using Dependent Types (Q3521992) (← links)
- Testing Polymorphic Properties (Q3558219) (← links)
- Algebra of programming in Agda: Dependent types for relational program derivation (Q3644935) (← links)
- Polytypic unification (Q4236981) (← links)
- Contributions to a computational theory of policy advice and avoidability (Q4577808) (← links)
- (Q4825542) (← links)
- Extensional equality preservation and verified generic programming (Q5019020) (← links)
- (Q5096574) (← links)
- Parametricity and dependent types (Q5176953) (← links)
- Mathematics of Program Construction (Q5313092) (← links)
- Mathematics of Program Construction (Q5313102) (← links)
- Implementation of Functional Languages (Q5466584) (← links)
- Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda (Q5739890) (← links)
- Level-p-complexity of Boolean functions using thinning, memoization, and polynomials (Q6131903) (← links)
