Tämä viestiketju on "uinuva" —viimeisin viesti on vanhempi kuin 90 päivää. Ryhmä "virkoaa", kun lähetät vastauksen.
1mekeor
Hello together,
which book can you recommend me as someone looking for a theoretical introduction to type theory (as the background of (dependently typed) and especially its notation functional programming languages) (having experiences with Haskell (and a quite new dependently typed functional programming language called Idris))?
Thank you.
which book can you recommend me as someone looking for a theoretical introduction to type theory (as the background of (dependently typed) and especially its notation functional programming languages) (having experiences with Haskell (and a quite new dependently typed functional programming language called Idris))?
Thank you.