mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Persons » Νικόλαος Παπασπύρου

Νικόλαος Παπασπύρου

Photo of Papaspyrou

Νικόλαος Παπασπύρου

Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
  • Επίκουρος Καθηγητής, Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών ΕΜΠ, NTUA
Website: http://www.softlab.ntua.gr/~nickie/

seminars given

ημερομηνία τίτλος
2004/06/04 Programming with proofs: Type systems based on logic ... and other frightening stories ..
1 seminar.

MSc theses supervised

τίτλος student defense
Non-Strict Pattern Matching and Delimited Control Πέτρος Μπαρμπαγιάννης 2017-10-31
LiquidHaskell : Liquid Types for Haskell Νίκη Βάζου 2015-04-03
An efficient implementation of lazy functional programming languages based on the generalized intensional transformation Παναγιώτης Θεοφιλόπουλος 2013-12-23
3 MSc theses.

Further information

Reporter

Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.