Browsing by Author Kahl, Wolfram
Showing results 16 to 20 of 20
< previous
Publication Date | Title | Author(s) |
---|---|---|
2017 | (Re-)Creating sharing in Agda's GHC backend | Perna, Natalie |
2021 | Type-Safe Modeling for Optimization | Thai, Nhan |
Oct-2012 | Type-Safety for Inverse Imaging Problems | Moghadas, Maryam |
Sep-2007 | Verification of Haskell Type Classes | Wang, Feng |
Oct-2011 | Verifying Permutation Rewritable Hazard Free Loops | Dobrogost, Michal |
Showing results 16 to 20 of 20
< previous