@inproceedings{10.1145/3406088.3409020,
    Abstract = {Using dependent types in production code is a practical way to eliminate errors. While there are many examples of using dependent Haskell to prove invariants about code, few of these are applied to large scale production systems. Critics claim that dependent types are only useful in toy examples and that they are impractical for use in the real world. This experience report analyzes real world examples where dependent types have enabled us to find and eliminate bugs in production Haskell code.},
    Address = {New York, NY, USA},
    Author = {Zilberstein, Noam},
    BookTitle = {Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell},
    File = {Eliminating bugs with dependent Haskell - 3406088.3409020 - r.pdf},
    ISBN = {9781450380508},
    Keywords = {Haskell, Dependent Types, GADTs},
    Location = {Virtual Event, USA},
    Pages = {9--16},
    Publisher = {Association for Computing Machinery},
    Series = {Haskell 2020},
    Title = {Eliminating Bugs with Dependent Haskell (Experience Report)},
    URL = {https://doi.org/10.1145/3406088.3409020},
    Year = {2020},
    bdsk-url-1 = {https://doi.org/10.1145/3406088.3409020},
    date-added = {2021-02-09 10:58:01 +0100},
    date-modified = {2021-02-09 10:58:01 +0100},
    numpages = {8},
    doi = {10.1145/3406088.3409020}
}

@inproceedings{10.1145/3406088.3409020, Abstract = {Using dependent types in production code is a practical way to eliminate errors. While there are many examples of using dependent Haskell to prove invariants about code, few of these are applied to large scale production systems. Critics claim that dependent types are only useful in toy examples and that they are impractical for use in the real world. This experience report analyzes real world examples where dependent types have enabled us to find and eliminate bugs in production Haskell code.}, Address = {New York, NY, USA}, Author = {Zilberstein, Noam}, BookTitle = {Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell}, File = {Eliminating bugs with dependent Haskell - 3406088.3409020 - r.pdf}, ISBN = {9781450380508}, Keywords = {Haskell, Dependent Types, GADTs}, Location = {Virtual Event, USA}, Pages = {9--16}, Publisher = {Association for Computing Machinery}, Series = {Haskell 2020}, Title = {Eliminating Bugs with Dependent Haskell (Experience Report)}, URL = {https://doi.org/10.1145/3406088.3409020}, Year = {2020}, bdsk-url-1 = {https://doi.org/10.1145/3406088.3409020}, date-added = {2021-02-09 10:58:01 +0100}, date-modified = {2021-02-09 10:58:01 +0100}, numpages = {8}, doi = {10.1145/3406088.3409020} }