C. Runciman

Available identifiers

zbMath Open runciman.colinWikidataQ100256415 ScholiaQ100256415MaRDI QIDQ820946

List of research outcomes

Publication	Date of Publication	Type
Super-naturals	2022-03-17	Paper
Simplifying regular expressions further	2021-09-29	Paper
The Reduceron reconfigured and re-evaluated	2012-10-29	Paper
Expressible sharing for functional circuit description	2010-03-05	Paper
Relational and Kleene-Algebraic Methods in Computer Science	2005-12-23	Paper
Implementation of Functional Languages	2005-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q2766783	2002-07-22	Paper
The accepting power of unary string logic programs	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q2763389	2002-01-15	Paper
Inductive benchmarking for purely functional data structures	2001-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q4939700	2000-02-09	Paper
New dimensions in heap profiling	1997-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q3026314	1987-01-01	Paper
Adapting combinator and SECD machines to display snapshots of functional computations	1986-01-01	Paper

Research outcomes over time

This page was built for person: C. Runciman