δείτε την πρωτότυπη σελίδα τεκμηρίου
στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*
κοινοποιήστε το τεκμήριο




2015 (EL)
LiquidHaskell : Liquid Types for Haskell

Βάζου Νίκη

Παπασπύρου Νικόλαος Αναπλ. Καθηγητής ΕΜΠ

Διπλωματική εργασία (Εκπονήθηκε το έτος: 2015)

Abstract Interpretation
Συστήματα Τύπων
Algorithmic Verification
Refinement Types
Programming languages
Γλώσσες προγραμματισμού
Ασφαλείς γλώσσες

Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (EL)
University of Athens (EN)

Ελληνική γλώσσα

2015


National and Kapodistrian University of Athens (UOA)

All rights remain with the author, until they expire.
Access to the work is permitted for personal, educational or research use only.



*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.