© 2010 Galois, Inc. All rights reserved.
Earlier talk, “
A decade of functional programming at Galois
” described how we use Haskell at Galois
This talk introduces three case studies from some of our projects:
– a cryptography language and toolchain
– OS component isolation via GHC + Xen
– a Haskell EDSL for avionics monitoring
Less about Haskell itself, more about the kinds of things we build with it
a flavor of how to think functionally aboutclient problems, and hopefully inspire you!