Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword
Like this
5Activity
0 of .
Results for:
No results containing your search query
P. 1
Building a business with Haskell: Case Studies: Cryptol, HaLVM and Copilot

Building a business with Haskell: Case Studies: Cryptol, HaLVM and Copilot

Ratings: (0)|Views: 6,177|Likes:
Published by Don Stewart

More info:

Published by: Don Stewart on Dec 10, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

07/10/2013

pdf

text

original

 
Building a business with Haskell
Case Studies: Cryptol, HaLVM, Copilot
Don Stewart
|
BelHac 
|Nov 5, 2010
 
© 2010 Galois, Inc. All rights reserved.
This talk...
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:
Cryptol
– a cryptography language and toolchain
HaLVM
– OS component isolation via GHC + Xen
Copilot
– a Haskell EDSL for avionics monitoring
Less about Haskell itself, more about the kinds of things we build with it
To give
a flavor of how to think functionally aboutclient problems, and hopefully inspire you!
 
© 2010 Galois, Inc. All rights reserved.
Building systems that are trustworthy
~40 employees in Portland, Oregon
11 years in business
Galois

Activity (5)

You've already reviewed this. Edit your review.
1 thousand reads
1 hundred reads

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->