This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.
A demonstration of a technique for using types to guide the construction of Haskell programs, based on natural deduction. Includes some tricks for getting help from the compiler, GHC. Also on YouTube. MP4 downloads are available from Vimeo. There are subtitles.
A demonstration of a technique for using types to guide the construction of Haskell programs, based on natural deduction. Includes some tricks for getting help from the compiler, GHC.
Also on YouTube. MP4 downloads are available from Vimeo. There are subtitles.
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.