The following pages link to Colin Runciman (Q820946):
Displayed 13 items.
- Simplifying regular expressions further (Q820947) (← links)
- Expressible sharing for functional circuit description (Q848741) (← links)
- Adapting combinator and SECD machines to display snapshots of functional computations (Q1082792) (← links)
- Inductive benchmarking for purely functional data structures (Q2757104) (← links)
- (Q2763389) (← links)
- (Q2766783) (← links)
- (Q3026314) (← links)
- New dimensions in heap profiling (Q3125160) (← links)
- The Reduceron reconfigured and re-evaluated (Q3165526) (← links)
- (Q4939700) (← links)
- Super-naturals (Q5063250) (← links)
- Implementation of Functional Languages (Q5466582) (← links)
- Relational and Kleene-Algebraic Methods in Computer Science (Q5712442) (← links)