Picture map of Europe with pins indicating European capital cities

Open Access research with a European policy impact...

The Strathprints institutional repository is a digital archive of University of Strathclyde's Open Access research outputs. Strathprints provides access to thousands of Open Access research papers by Strathclyde researchers, including by researchers from the European Policies Research Centre (EPRC).

EPRC is a leading institute in Europe for comparative research on public policy, with a particular focus on regional development policies. Spanning 30 European countries, EPRC research programmes have a strong emphasis on applied research and knowledge exchange, including the provision of policy advice to EU institutions and national and sub-national government authorities throughout Europe.

Explore research outputs by the European Policies Research Centre...

Strathprints

Turing-completeness totally free

McBride, Conor (2015) Turing-completeness totally free. In: Mathematics of Program Construction. Springer, Cham, Switzerland, pp. 257-275. ISBN 978-3-319-19796-8

Full text not available in this repository. Request a copy from the Strathclyde author

Abstract

In this paper, I show that general recursive definitions can be represented in the free monad which supports the ‘effect’ of making a recursive call, without saying how these calls should be executed. Diverse semantics can be given within a total framework by suitable monad morphisms. The Bove-Capretta construction of the domain of a general recursive function can be presented datatype-generically as an instance of this technique. The paper is literate Agda, but its key ideas are more broadly transferable.

Item type: Book Section
ID code: 60166
Keywords: monad morphisms, total functional programming, monads, Electronic computers. Computer science, Computer Science(all)
Subjects: Science > Mathematics > Electronic computers. Computer science
Department: Faculty of Science > Computer and Information Sciences
Depositing user: Pure Administrator
Date deposited: 13 Mar 2017 16:26
Last modified: 22 Mar 2017 15:53
Related URLs:
URI: https://strathprints.strath.ac.uk/id/eprint/60166
Export data:
CORE (COnnecting REpositories)