No Cover Image

Journal article 433 views 91 downloads

A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++ / Ulrich, Berger; Anton, Setzer

Theory of Computing Systems, Volume: 43, Issue: 3-4, Pages: 298 - 321

Swansesa University Authors: Ulrich, Berger, Anton, Setzer

DOI (Published version): 10.1007/s00224-007-9062-1

Published in: Theory of Computing Systems
Published: 2008
Online Access: http://www.cs.swan.ac.uk/~csetzer/articles/rosebergersetzerIntegratingFunctionalProgrammingIntoCplusplus.pdf
URI: https://cronfa.swan.ac.uk/Record/cronfa19416
Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science
Issue: 3-4
Start Page: 298
End Page: 321