Artin Ghasivand
About Me
Functional programmer and PLT enthusiast
Contact Info
Email: ghasivand.artin@gmail.com
Github: Ei30metry
Haskell Gitlab: Ei30metry
LinkedIn: Artin Ghasivand
Telegram: Ei30metry
Mastodon: Ei30metry
X: Ei30metry
Address: Karaj, Iran
Publications
Typing of GHC Haskell, part I (Early Draft). Artin Ghasivand, Simon Peyton Jones and Richard A. Eisenberg.
(pdf)