View source for Denotative programming timeline

[[Category:History]]
[[Category:Language]]
[[Category:Timelines]]

This is a conservative timeline of denotative-programing and related articles. 

Please update this list as it becomes outdated! If you find a tutorial, article, post, comment, or message that stands on its own with regards to denotative programming, then please take a moment to paste the link somewhere on this page (register a throwaway account, if you prefer) - the date, author, and other details can be added later. This will greatly help others who are using this list as a resource for learning about denotative programming.

__TOC__

== before 2000 ==

* 1966-03 (published date) [https://www.cs.cmu.edu/~crary/819-f09/Landin66.pdf The Next 700 Programming Languages] - Peter Landin
*:"The word `denotative` seems more appropriate than nonprocedural, declarative or functional. The antithesis of denotative is `imperative`."

* 1978-08 (published date) [https://www.cs.cmu.edu/~crary/819-f09/Backus78.pdf Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs] - John Backus
*:"Denotational semantics and its foundations provide an extremely helpful mathematical understanding of the domain and function spaces implicit in programs."

== year 2010 ==

* 2010-01 [http://conal.net/blog/posts/is-haskell-a-purely-functional-language Is Haskell a purely functional language?] - Conal Elliott
*:"When I bash monadic I/O, my real complaint isn’t with the technical invention–which I like. Rather, I’m cranky about confusion and misleading communication, and about distraction from what we originally meant by 'functional programming'–from what I call 'denotational programming'.

::I don’t mind that we haven’t yet been liberated from the von Neumann model. As long as we ''remember'' we haven’t.

::As long as we keep on searching."

:* other articles:
::* [http://conal.net/blog/posts/can-functional-programming-be-liberated-from-the-von-neumann-paradigm Can functional programming be liberated from the von Neumann paradigm?]
::* [http://conal.net/blog/posts/the-c-language-is-purely-functional The C language is purely functional] 

== year 2016 ==

* 2016-10 [http://conal.net/talks/denotational-design-lambdajam-2015.pdf Denotational Design - from meanings to programs (slides)] - Conal Elliott

== year 2017 ==

* 2017-10 [https://www.haskellforall.com/2017/10/why-do-our-programs-need-to-read-input.html Why do our programs need to read input and write output?] - Gabriella Gonzalez

== year 2018 ==

* 2018-07 [https://futureofcoding.org/log.html#my-growing-anti-io-monad-obsession My growing Anti-IO-Monad Obsession] - Steve Krouse

== year 2019 ==

* 2019-11 [https://futureofcoding.org/essays/dctp.html The Misunderstood Roots of FRP Can Save Programming] - Steve Krouse

== year 2022 ==

* 2022-05 [https://www.typetheoryforall.com/2022/05/09/17-The-Lost-Elegance-of-Computation-(Conal-Elliott).html The Lost Elegance of Computation] - Conal Elliott

* 2022-08 [https://www.typetheoryforall.com/2022/08/04/21-Conal-Eliott-2.html Denotational Design] - Conal Elliott

* 2022-09 [https://github.com/conal/Collaboration (Research invitation and resources)] - Conal Elliott
*:"If you're familiar with my work or you've listened to the interviews linked above, you'll know that I prefer denotational to operational perspectives."

== year 2023 ==

* 2023-06 [https://www.youtube.com/watch?v=k6rY5Mvx84E Building a Future of Scalable Reliable and Efficient Computing] - Conal Elliott

* 2023-08 [https://discourse.haskell.org/t/why-imperative-code-is-worse-than-functional-code/7473 Why imperative code is worse than functional code] - Jaro Reinders

* 2023-08 [http://conal.net/papers/timely-computation/paper.pdf Timely Computation] - Conal Elliott

== See also ==
* [[Denotative]]
* [[Functional Reactive Programming]]