Υλοποίηση συναρτησιακών γλωσσών προγραμματισμού με το μετασχηματισμό διακλαδιζόμενων διαστάσεων /
Main Author: | Γρίβας, Αθανάσιος Ι |
---|---|
Corporate Authors: | Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών., Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών |
Other Authors: | Παπασπύρου, Νικόλαος Σ |
Format: | Book |
Similar Items
-
Υλοποίηση συναρτησιακών γλωσσών προγραμματισμού με το μετασχηματισμό διακλαδιζόμενων διαστάσεων /
by: Γρίβας, Αθανάσιος Ι -
Η νοηματική τεχνική για την υλοποίηση των συναρτησιακών γλωσσών προγραμματισμού/
by: Κόκκαλης, Παναγιώτης
Published: (2003) -
Μια αποδοτική τεχνική υλοποίησης οκνηρών συναρτησιακών γλωσσών προγραμματισμού/
by: Χαραλαμπίδης, Άγγελος Χ.
Published: (2005) -
Απόδειξη ορθότητας του μετασχηματισμού διακλαδιζόμενων διαστάσεων στο coq /
by: Βεκρής, Δημήτριος -
Επεξεργαστές γλωσσών προγραμματισμού /
by: Γεωργούλη, Κατ.
Published: (1992)