Technology Galois Tech Talk / Vinyl: Records in Haskell and Type Theory

1. Vinyl: Records in Haskell and Type Theory Jon Sterling jonmsterling.com August 12, 2014 2. Records in GHC 7.8 3. Records in GHC 7.8 Haskell records are nominally typed…

Technology Programming in Vinyl (BayHac 2014)

1. Programming in Vinyl Jon Sterling jonmsterling.com May 18, 2014 2. Records in GHC 7.8 3. Records in GHC 7.8 Haskell records are nominally typed 4. Records in GHC 7.8 Haskell…