Journal article 1595 views 342 downloads
A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++
Rose H. Abdul Rauf,
Ulrich Berger,
Anton Setzer 
Theory of Computing Systems, Volume: 43, Issue: 3-4, Pages: 298 - 321
Swansea University Authors:
Ulrich Berger, Anton Setzer
-
PDF | Accepted Manuscript
Download (283.21KB)
DOI (Published version): 10.1007/s00224-007-9062-1
Abstract
A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++
| 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 |
| College: |
Faculty of Science and Engineering |
|---|---|
| Issue: |
3-4 |
| Start Page: |
298 |
| End Page: |
321 |