Hacker News · @ycombinator
32 followers · 2188 posts · Server rss-mstdn.studiofreesia.comCold restart whole system after total outage
https://www.evalapply.org/posts/cold-restart-total-outage/index.html
#ycombinator #systems_thinking #functional_programming #architecture #software_design #technology_leadership #devops #clojure
#ycombinator #systems_thinking #functional_programming #architecture #software_design #technology_leadership #devops #clojure
nope · @stacked_automation
123 followers · 6688 posts · Server mastodon.socialComputational Category Theory
(2022) : D.E Rydeheard and R.M Burstall
url: https://www.cs.man.ac.uk/~david/categories/
#adjunction #category_theory #functional_programming #functors #standard_ML #toposes #unification
#my_bibtex
#adjunction #category_theory #functional_programming #functors #standard_ml #toposes #unification #my_bibtex
nope · @stacked_automation
117 followers · 6410 posts · Server mastodon.socialPractical Implementation of a Dependently Typed Functional Programming Language
(2005) : Brady, Edwin C
url: http://etheses.dur.ac.uk/2800/
#dependent_types #functional_programming #idris
#my_bibtex
#dependent_types #functional_programming #idris #my_bibtex
nope · @stacked_automation
111 followers · 6208 posts · Server mastodon.social
Purely Functional Data Structures
(1996) : Okasaki, Chris and Lee, Peter
DOI: https://doi.org/10.1017/CBO9780511530104
#data_structure #dissertation #efficiency #functional_programming #programming
#my_bibtex
#data_structure #dissertation #efficiency #functional_programming #programming #my_bibtex