Browsing by Author Kahl, Wolfram
Showing results 10 to 20 of 20
< previous
Publication Date | Title | Author(s) |
---|---|---|
Sep-2005 | Implementation of Pattern Matching Calculus Using Type-Indexed Expressions | Ji, Xiaoheng |
Nov-2018 | INTRODUCING ASPECTS INTO SOFTWARE ARCHITECTURES BY GRAPH TRANSFORMATION | Hossain, Md Nour |
2018 | A Machine-checked Categorial Formalisation of Term Graph Rewriting with Semantics Preservation | Zhao, Yuhang |
Jun-2015 | A Mechanisation of Internal Galois Connections In Order Theory Formalised Without Meets | Al-hassy, Musa |
2021 | Parallel Windowed Method for Scalar Multiplication in Elliptic Curve Cryptography | Bouman, Tanya |
Sep-2008 | Proofs of Relational Semigroupoids in Isabelle/Isar | Han, Jinrong |
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 10 to 20 of 20
< previous