Difference between revisions of "User:Atravers"
From HaskellWiki
m |
m (Extra reference added) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 6: | Line 6: | ||
* [https://maartenfokkinga.github.io/utwente/mmf2001c.pdf An alternative approach to I/O], Maarten Fokkinga and Jan Kuper. | * [https://maartenfokkinga.github.io/utwente/mmf2001c.pdf An alternative approach to I/O], Maarten Fokkinga and Jan Kuper. | ||
| − | * | + | * [https://www.cambridge.org/core/services/aop-cambridge-core/content/view/763DE73EB4761FDF681A613BE0E98443/S0956796800000988a.pdf/functional_pearl_on_generating_unique_names.pdf Functional Pearl: On generating unique names], Lennart Augustsson, Mikael Rittri and Dan Synek. |
* [https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.128.9269&rep=rep1&type=pdf Unique Identifiers in Pure Functional Languages], Péter Diviánszky. | * [https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.128.9269&rep=rep1&type=pdf Unique Identifiers in Pure Functional Languages], Péter Diviánszky. | ||
| Line 44: | Line 44: | ||
* <span style="color:#ba0000">I/O Trees and Interactive Lazy Functional Programming</span>, Samuel A. Rebelsky. | * <span style="color:#ba0000">I/O Trees and Interactive Lazy Functional Programming</span>, Samuel A. Rebelsky. | ||
| + | |||
| + | * <span style="color:#ba0000">Temporal Constraint Functional Programming: A Declarative Framework For Concurrency and Interaction</span>, T.C. Nicholas Graham. | ||
* <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. | ||
Latest revision as of 12:33, 9 May 2022
These references are from earlier versions of my (various) language proposals - they're here for the time being until I find somewhere more suitable...
Managing side effects
- An alternative approach to I/O, Maarten Fokkinga and Jan Kuper.
- Functional Pearl: On generating unique names, Lennart Augustsson, Mikael Rittri and Dan Synek.
- Unique Identifiers in Pure Functional Languages, Péter Diviánszky.
- Reflections on leaving Haskell, Alson Kemp.
- Haskell Sucks!, Paul Bone.
- Non-Imperative Functional Programming, Nobuo Yamashita.
- Witnessing Side Effects, Tachio Terauchi and Alex Aiken.
- Assignments for Applicative Languages, Vipin Swarup, Uday S. Reddy and Evan Ireland.
- Imperative Functional Programming, Uday S. Reddy.
- Functional Programming with Side Effects, Mark B. Josephs.
- Lambda Calculus For Engineers, Pieter H. Hartel and Willem G. Vree.
- Call-by-Need Is Clairvoyant Call-by-Value, Jennifer Hackett and Graham Hutton.
- A Partial Rehabilitation of Side-Effecting I/O: Non-Determinism in Non-Strict Functional Languages, Manfred Schmidt-Schauß.
- MTL style for free, Tom Ellis.
- An impure lazy programming language, Tom Ellis.
- On Zero-Side-Effect Interactive Programming, Actors, and FSMs, Sergey Ignatchenko.
- 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.