Darcs | Proceedings of the 2005 ACM SIGPLAN workshop on Haskell
We at Binghamton intend, at least for ourselves (and I believe Alberta at least expressed this interest) to abstract whatever we have that we feel we would be proud enough to make available to other people in printed form. We would hope by somewhere in ...
Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
Prism: An Impure Functional Language With Typed Effects - Stephen Diehl
Personal blog of Stephen Diehl - Software engineer writing about technology, programming, and the future
Implementing a Hindley-Milner Type System (Part 1) | Blog
First part of a tutorial on implementing a Hindley-Milner type system for a simple, purely functional programming language in Haskell. We go over syntax representation, how the Hindley-Milner type system is defined, polymorphism vs. monomorphism, generalization, and instantiation.
Aaron Steven White
computational semanticist. into modular synths and tiki. https://aaronstevenwhite.io
bmillwood/bluesky-tools
Haskell library providing tools for working with the Bluesky social network / the AT protocol
Typechecker Zoo - Stephen Diehl
Personal blog of Stephen Diehl - Software engineer writing about technology, programming, and the future
Gödel, Escher, Bach: An Eternal Golden Braid
Douglas Hofstadter's book is concerned directly with th…
ghc-plugin-core-of-name/README.md at main · ocramz/ghc-plugin-core-of-name
Output the Core of a given Haskell expression with a GHC plugin - ocramz/ghc-plugin-core-of-name
GHC/Typed holes - HaskellWiki
Typed holes are a powerful feature in GHC inspired by Agda. But what are typed holes, and how do they help us write code?
Aaron Steven White
computational semanticist. into modular synths and rum. https://aaronstevenwhite.io
zach lieberman on Twitter / X
Today I was able to weave a line from Myron Krueger in a talk I gave : Computation is the medium of our lifetimes - it’s not just a technical medium but a cultural medium as well. We should explore the culture of computation.— zach lieberman (@zachlieberman) April 10, 2024
037 HEIR: A foundation for FHE compilers
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics)
Introduction to higher order catagorical logic by J. Lambek, March 25, 1988, Cambridge University Press edition, Paperback in English
