Dette emne er markeret som "i hvile"—det seneste indlæg er mere end 90 dage gammel. Du kan vække emnet til live ved at poste et indlæg.
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.