The following pages link to Johan Jeuring (Q626938):
Displayed 25 items.
- Specifying rewrite strategies for interactive exercises (Q626940) (← links)
- Customizing an XML-Haskell data binding with type isomorphism inference in generic Haskell (Q870274) (← links)
- The derivation of on-line algorithms, with an application to finding palindromes (Q1314430) (← links)
- Polytypic data conversion programs (Q1347992) (← links)
- Type-indexed data types (Q1881268) (← links)
- Type Class Instances for Type-Level Lambdas in Haskell (Q2814386) (← links)
- (Q2837043) (← links)
- Generic programming with fixed points for mutually recursive datatypes (Q2936822) (← links)
- A lightweight approach to datatype-generic rewriting (Q3070774) (← links)
- Weaving a web (Q3150211) (← links)
- Typed Contracts for Functional Programming (Q3434634) (← links)
- Adapting Mathematical Domain Reasoners (Q3582717) (← links)
- Generic Views on Data Types (Q3618823) (← links)
- Canonical Forms in Interactive Exercise Assistants (Q3637289) (← links)
- Libraries for Generic Programming in Haskell (Q3649135) (← links)
- Polytypic unification (Q4236981) (← links)
- (Q4808692) (← links)
- Recognizing Strategies (Q5170163) (← links)
- Generic Programming (Q5187876) (← links)
- Generic Programming (Q5187877) (← links)
- Interleaving Strategies (Q5200118) (← links)
- Dependency-style generic haskell (Q5261272) (← links)
- Mathematics of Program Construction (Q5313100) (← links)
- Finding Palindromes: Variants and Algorithms (Q5410458) (← links)
- Specifying Strategies for Exercises (Q5505523) (← links)