Browsing by Subject refinement types
Showing results 1 to 2 of 2
Issue Date | Title | Author(s) | Supervisor |
---|---|---|---|
13-Oct-2021 | Επαλήθευση πολυπλοκότητας αλγορίθμων σε LiquidHaskell | Διαμαντάκης, Παναγιώτης | Παπασπύρου Νικόλαος |
16-Jul-2018 | ΕΠΑΛΗΘΕΥΣΗ ΙΔΙΟΤΗΤΩΝ ΑΛΓΟΡΙΘΜΩΝ ΣΕ LIQUID HASKELL | Πέτρου, Γεώργιος | Παπασπύρου Νικόλαος |