Difference between revisions of "User:Atravers"
Jump to navigation
Jump to search
(Created page with "My dear friend Atravers, This page "Atribuirea" meaning "Assignment" is part of the Description of a Mini DSL (domanin small language) we have used to teach computer science...") |
m |
||
| (7 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| − | My dear friend Atravers, |
||
| + | These references are from earlier versions of my (various) language proposals - they're here for the time being until I find somewhere more suitable... |
||
| − | This page "Atribuirea" meaning "Assignment" |
||
| − | is part of the Description of a Mini DSL (domanin small language) we have used to teach |
||
| − | computer science in Romania,for beginers. |
||
| + | === Managing side effects === |
||
| − | Because the course is inactive from this year, there is no activity on the page. |
||
| − | Put please do not remove the content related to a well made Haskell project, |
||
| − | even if the language implemented is a sort of little C with national keywords, |
||
| − | and do not resamble to Haskell. |
||
| + | * [https://maartenfokkinga.github.io/utwente/mmf2001c.pdf An alternative approach to I/O], Maarten Fokkinga and Jan Kuper. |
||
| − | It is really very unpleasant to see |
||
| − | that your work in a community is removed, |
||
| − | would you like to contribute in such conditions ? |
||
| + | * <span style="color:#ba0000">Functional Pearl: On generating unique names</span>, Lennart Augustsson, Mikael Rittri and Dan Synek. |
||
| − | Thank you very much, |
||
| + | |||
| − | Lect. Dan Popa |
||
| + | * [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. |
||
| − | aka Haskell, |
||
| + | |||
| − | promoter of Haskell in Roumania. |
||
| + | * [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://www.alsonkemp.com/haskell/reflections-on-leaving-haskell Reflections on leaving Haskell], Alson Kemp. |
||
| + | --> |
||
| + | |||
| + | * [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.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">I/O Trees and Interactive Lazy Functional Programming</span>, Samuel A. Rebelsky. |
||
| + | |||
| + | * <span style="color:#ba0000">Arborescent data structures and lazy evaluation: A new approach to numerical problems</span>, Manuel Carcenac. |
||
Revision as of 00:27, 19 November 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
- 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.
- Arborescent data structures and lazy evaluation: A new approach to numerical problems, Manuel Carcenac.