Julien M. · @julm
485 followers · 4935 posts · Server framapiaf.org#StephanieWeirich : "#StronglyTyped #SystemF in #GHC"
"This project demonstrates my solution to this #challenge using the #Haskell #programming #language, assisted by the #singletons library. Because I had a lot of fun completing this challenge, I wrote up this solution as a #tutorial of #DependentlyTyped programming in #GHC."
https://github.com/sweirich/challenge/blob/canon/debruijn/overview.md
https://youtube.com/watch?v=GxP-ufWyj3s
https://www.youtube.com/watch?v=j2xYSxMkXeQ
#DependentlyTyped #tutorial #singletons #language #programming #haskell #challenge #ghc #SystemF #StronglyTyped #stephanieweirich
Julien M. · @julm
485 followers · 4935 posts · Server framapiaf.orghttps://www.cs.cmu.edu/~popl-interviews/ « People of Programming Languages — An interview project in conjunction with #POPL 2018 »
#Haskell #OCaml
#XavierLeroy #StephanieWeirich #SimonPeytonJones
#popl #haskell #ocaml #xavierleroy #stephanieweirich #simonpeytonjones