Difference between revisions of "User:Atravers"
Jump to navigation
Jump to search
m (Duplicated references removed) |
m |
||
| Line 1: | Line 1: | ||
| + | = Stuff that <i>sometimes</i> interests me... = |
||
| ⚫ | |||
=== Managing side effects === |
=== Managing side effects === |
||
| + | |||
| ⚫ | |||
* [https://web.archive.org/web/20200815141321/https://www.alsonkemp.com/haskell/reflections-on-leaving-haskell Reflections on leaving Haskell], Alson Kemp. |
* [https://web.archive.org/web/20200815141321/https://www.alsonkemp.com/haskell/reflections-on-leaving-haskell Reflections on leaving Haskell], Alson Kemp. |
||
| Line 12: | Line 14: | ||
* [https://www.cs.ru.nl/barendregt60/essays/hartel_vree/art10_hartel_vree.pdf Lambda Calculus For Engineers], Pieter H. Hartel and Willem G. Vree. |
* [https://www.cs.ru.nl/barendregt60/essays/hartel_vree/art10_hartel_vree.pdf Lambda Calculus For Engineers], Pieter H. Hartel and Willem G. Vree. |
||
| − | |||
* <span style="color:#ba0000">Functional I/O Using System Tokens</span>, Lennart Augustsson. |
* <span style="color:#ba0000">Functional I/O Using System Tokens</span>, Lennart Augustsson. |
||
| Line 20: | Line 21: | ||
* <span style="color:#ba0000">Arborescent data structures and lazy evaluation: A new approach to numerical problems</span>, Manuel Carcenac. |
* <span style="color:#ba0000">Arborescent data structures and lazy evaluation: A new approach to numerical problems</span>, Manuel Carcenac. |
||
| + | |||
| + | === Semantics === |
||
| + | |||
| + | <!-- |
||
| + | * [ftp://ftp.cse.ohio-state.edu/pub/tech-report/2008/TR13.pdf On an Incompatibility of Functional Programming and Functional Semantics], Bruce W. Weide. |
||
| + | --> |
||
| + | * <span style="color:#ba0000">On an Incompatibility of Functional Programming and Functional Semantics</span>, Bruce W. Weide. |
||
Latest revision as of 22:32, 30 September 2024
Stuff that sometimes interests me...
Managing side effects
These references are from earlier versions of my (various) language proposals - they're here for the time being until I find somewhere more suitable...
- Reflections on leaving Haskell, Alson Kemp.
- Haskell Sucks!, Paul Bone.
- Lambda Calculus For Engineers, Pieter H. Hartel and Willem G. Vree.
- Functional I/O Using System Tokens, Lennart Augustsson.
- I/O Trees and Interactive Lazy Functional Programming, Samuel A. Rebelsky.
- Temporal Constraint Functional Programming: A Declarative Framework For Concurrency and Interaction, T.C. Nicholas Graham.
- Arborescent data structures and lazy evaluation: A new approach to numerical problems, Manuel Carcenac.
Semantics
- On an Incompatibility of Functional Programming and Functional Semantics, Bruce W. Weide.