The following pages link to Maarten M. Fokkinga (Q808722):
Displaying 13 items.
- An exercise in transformational programming: Backtracking and Branch-and- Bound (Q808723) (← links)
- A correctness proof of sorting by means of formal procedures (Q1096378) (← links)
- Subtyping can have a simple semantics (Q1177151) (← links)
- Calculate categorically! (Q1203123) (← links)
- (Q1607083) (redirect page) (← links)
- The associativity of equivalence and the Towers of Hanoi problem (Q1607084) (← links)
- The Hough transform (Q3021418) (← links)
- (Q3766840) (← links)
- (Q4068066) (← links)
- (Q4151139) (← links)
- (Q4251111) (← links)
- (Q4799358) (← links)
- Datatype laws without signatures (Q4882491) (← links)
