Difference between revisions of "User:Atravers"

From HaskellWiki
Jump to: navigation, search
m (New reference added)
m
(One intermediate revision by the same user not shown)
Line 8: Line 8:
 
* <span style="color:#ba0000">Functional Pearl: On generating unique names</span>, Lennart Augustsson, Mikael Rittri and Dan Synek.
 
* <span style="color:#ba0000">Functional Pearl: On generating unique names</span>, 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], Peter Divianszky.
+
* [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://academic.oup.com/comjnl/article-pdf/31/3/243/1157325/310243.pdf Nondeterminism with Referential Transparency in Functional Programming Languages], F. Warren Burton.
Line 29: Line 29:
   
 
* [https://www.cs.nott.ac.uk/~pszgmh/clairvoyant.pdf Call-by-Need Is Clairvoyant Call-by-Value], Jennifer Hackett and Graham Hutton.
 
* [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/mtl-style-for-free MTL style for free], Tom Ellis.

Revision as of 03:20, 5 October 2021

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 Pearl: On generating unique names, Lennart Augustsson, Mikael Rittri and Dan Synek.
  • Non-Imperative Functional Programming, Nobuo Yamashita.
  • Functional I/O Using System Tokens, Lennart Augustsson.
  • I/O Trees and Interactive Lazy Functional Programming, Samuel A. Rebelsky.
  • Arborescent data structures and lazy evaluation: A new approach to numerical problems, Manuel Carcenac.