Loading...
Please wait, while we are loading the content...
Similar Documents
A New One-Pass Transformation into Monadic Normal Form
| Content Provider | Semantic Scholar |
|---|---|
| Author | Danvy, Olivier |
| Copyright Year | 2002 |
| Abstract | We present a translation from the call-by-value lambda-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pass, duplicates no code, generates no chains of thunks, and is properly tail recursive. It makes a crucial use of symbolic computation at translation time. |
| File Format | PDF HTM / HTML |
| DOI | 10.7146/brics.v9i52.21767 |
| Volume Number | 9 |
| Alternate Webpage(s) | https://rd.springer.com/content/pdf/10.1007%2F3-540-36579-6_6.pdf |
| Alternate Webpage(s) | https://doi.org/10.7146/brics.v9i52.21767 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |