[Haskell24] MicroHs: A Small Compiler for Haskell
MicroHs: A Small Compiler for Haskell (Video, Haskell 2024) Lennart Augustsson (Epic Games) Abstract: MicroHs is a compiler for Haskell2010. It translates Haskell to SKI style combinators via $lambda$-calculus. The runtime system is quite small with few dependencies. Article: https://doi.org/10.1145/3677999.3678280 ORCID: https://orcid.org/0009-0008-6894-4020 Presentation at the Haskell 2024 conference, September 6–7, 2024, https://icfp24.sigplan.org/home/haske... Sponsored by ACM SIGPLAN, https://www.sigplan.org/
![[Haskell24] Lightning Talks I](https://i.ytimg.com/vi/o26TDvRnNTI/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLDDJ3-V27oax_M__tsbLMtPmNmEaA)
▶︎
[Haskell24] Lightning Talks I
▶︎
Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
▶︎
Android 17 sucks. So I put Linux on a phone.
▶︎
Why Aliens Would NEVER Invade Africa
▶︎
Sacha Ayoun, "Foundations, Implementation, and Applications of Compositional Symbolic Execution".
▶︎
Stephen Dolan, "Types for more than memory safety in OxCaml", VeTSS Annual Conference 2026
▶︎
Jonathan Blow - Jai Demo and Design Explanation (KEYNOTE) - Updated
▶︎
Turing Award Winner: Disagreeing with Google, Postgres, Future Problems | Mike Stonebraker
▶︎
Creator of C++: Bell Labs, Negative Overhead Abstraction, Mistakes | Bjarne Stroustrup
▶︎
The Story of C++: The World's Most Consequential Programming Language | The Official Story
▶︎
The World's Most Important Machine
▶︎
MIT Just Revealed the AI Bubble's Fatal Flaw
▶︎
Eliane Schmidli: Hardware Control using Haskell - HaskellerZ July 2023
▶︎
A Philosophical Look at System Dynamics
▶︎
Chip design from the bottom up – Reiner Pope
▶︎
the true reason C++ always wins
▶︎
I Investigated The World's Skinniest vs Fattest City
▶︎
Reinventing Entropy | Compression is Intelligence Part 1
▶︎
But what is the Fourier Transform? A visual introduction.
▶︎