User:Atravers
Stuff that sometimes interests me...[edit]
Managing side effects[edit]
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[edit]
- On an Incompatibility of Functional Programming and Functional Semantics, Bruce W. Weide.