Phd student in the field of programming analysis and security
-
KTH
- Stockholm
-
07:49
(UTC +02:00) - lllsssskkk.github.io
- https://orcid.org/0009-0002-1338-0834
Highlights
- Pro
Luc Tielen
luc-tielen
Interested in functional programming, compilers and logic.
Mainly working on Eclair, a high performance Datalog that compiles to LLVM.
Lambda Tech Belgium
Haskell Foundation
haskellfoundation
Non-profit dedicated to supporting and promoting the Haskell language and community worldwide.
The Nix Way
the-nix-way
Opinionated learning resources for the Nix package manager and language
Robert Krook
Rewbert
PhD student at Chalmers University of Technology.
Compilers, IoT, Languages, Testing
Chalmers University of Technology Gothenburg
Erik Anders Harry Nilsson
erinilsso
Interested in functional programming, AI and more.
Chalmers student
Richard Eisenberg
goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.
@janestreet Philadelphia, PA
Vlad L
cstml
λx . (λx . "Interested in: " <> x) "Haskell, Proofs, Agda, Rust, PLT, λ calc, lisp, erlang, Nix, Maybe C - did I mention Types?"
Bath, United Kingdom