Difference between revisions of "User:Atravers"

From HaskellWiki
Jump to: navigation, search
m (Extra reference added)
m (Duplicated references removed)
 
Line 3: Line 3:
  
 
=== Managing side effects ===
 
=== Managing side effects ===
 
* [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://academic.oup.com/comjnl/article-pdf/31/3/243/1157325/310243.pdf Nondeterminism with Referential Transparency in Functional Programming Languages], F. Warren Burton.
 
  
 
* [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 18: Line 10:
  
 
* [https://paul.bone.id.au/pub/pbone-2016-haskell-sucks.pdf Haskell Sucks!], Paul Bone.
 
* [https://paul.bone.id.au/pub/pbone-2016-haskell-sucks.pdf Haskell Sucks!], Paul Bone.
 
* <span style="color:#ba0000">Non-Imperative Functional Programming</span>, Nobuo Yamashita.
 
 
* [https://www.f.waseda.jp/terauchi/papers/toplas-witness.pdf Witnessing Side Effects], Tachio Terauchi and Alex Aiken.
 
 
* [https://www.cs.bham.ac.uk/~udr/papers/assign.pdf Assignments for Applicative Languages], Vipin Swarup, Uday S. Reddy and Evan Ireland.
 
 
* [https://www.cs.bham.ac.uk/~udr/papers/imperative-functional.pdf Imperative Functional Programming], Uday S. Reddy.
 
 
* [https://core.ac.uk/download/pdf/82162724.pdf Functional Programming with Side Effects], Mark B. Josephs.
 
  
 
* [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.
 
* [https://www.cs.nott.ac.uk/~pszgmh/clairvoyant.pdf Call-by-Need Is Clairvoyant Call-by-Value], Jennifer Hackett and Graham Hutton.
 
 
* [https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.55.1076&rep=rep1&type=pdf A Partial Rehabilitation of Side-Effecting I/O: Non-Determinism in Non-Strict Functional Languages], Manfred Schmidt-Schauß.
 
 
* [http://h2.jaguarpaw.co.uk/posts/mtl-style-for-free MTL style for free], Tom Ellis.
 
 
* [http://h2.jaguarpaw.co.uk/posts/impure-lazy-language An impure lazy programming language], Tom Ellis.
 
 
* [https://accu.org/index.php/journals/2199 On Zero-Side-Effect Interactive Programming, Actors, and FSMs], Sergey Ignatchenko.
 
  
 
* <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.

Latest revision as of 12:27, 27 July 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

  • 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.