Sciweavers

Share
ICFP
2012
ACM
6 years 9 months ago
Shake before building: replacing make with haskell
Most complex software projects are compiled using a build tool (e.g. make), which runs commands in an order satisfying userdeļ¬ned dependencies. Unfortunately, most build tools r...
Neil Mitchell
POPL
2011
ACM
7 years 10 months ago
Precise reasoning for programs using containers
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
Isil Dillig, Thomas Dillig, Alex Aiken
books