Type Theory

SnakMathematics

Bliv bruger af LibraryThing, hvis du vil skrive et indlæg

Type Theory

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
mar 18, 2012, 5:34 pm

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.