C. Runciman

MaRDI QIDQ820946zbMATH OpenWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Super-naturals Journal of Functional Programming	2022-03-17	Paper
Simplifying regular expressions further Journal of Symbolic Computation	2021-09-29	Paper
The Reduceron reconfigured and re-evaluated Journal of Functional Programming	2012-10-29	Paper
Expressible sharing for functional circuit description Higher-Order and Symbolic Computation	2010-03-05	Paper
Relational and Kleene-Algebraic Methods in Computer Science Lecture Notes in Computer Science	2005-12-23	Paper
Implementation of Functional Languages Lecture Notes in Computer Science	2005-08-24	Paper
scientific article; zbMATH DE number 1696597 (Why is no real title available?)	2002-07-22	Paper
The accepting power of unary string logic programs Theoretical Computer Science	2002-03-03	Paper
scientific article; zbMATH DE number 1691462 (Why is no real title available?)	2002-01-15	Paper
Inductive benchmarking for purely functional data structures Journal of Functional Programming	2001-11-21	Paper
scientific article; zbMATH DE number 1400718 (Why is no real title available?)	2000-02-09	Paper
New dimensions in heap profiling Journal of Functional Programming	1997-08-07	Paper
scientific article; zbMATH DE number 4013997 (Why is no real title available?)	1987-01-01	Paper
Adapting combinator and SECD machines to display snapshots of functional computations New Generation Computing	1986-01-01	Paper

Research outcomes over time

This page was built for person: C. Runciman