Nikos Mylonakis (Research Student)
Current research
My general research interests are type theoretical frameworks
for algebraic specifications and software design.
I am currently working on the design and implementation in type
theory of different proof systems for algebraic specifications.
I use a similar principle of encoding to the one used in LF, but
not its underlying type theory.
Instead, I use a more
expressive type theory which is implemented in the proof checker
Lego: the Uniform Theory of dependent Types (UTT).
Papers
Part of my research work is in the following papers:
-
S. Clerici, R. Pena and N. Mylonakis. Redes para procesos continuos en
Miranda. In PRODE93, volume ISBN:84-00-07383, 93.
-
-
J. Perez and N. Mylonakis. An algorithm for type checking with overloaded
and polymorphic functions. Report de recerca LSI-92-14-R, L.S.I.
Department (UPC), 1993
-
-
Nikos Mylonakis. Behavioural specifications in type theory.
(.ps file)
In Recent Trends in Data Type Specification, volume ? of LNCS,
Springer Verlag. 11th Workshop on Specification of Abstract Data Types.
Oslo, Norway, September 1995.
-
-
Nikos Mylonakis. Adequate encodings of proof systems for algebraic
specifications in UTT.
(.ps file)
CADE-13 Workshop on Proof Search in Type-Theoretic Languages, 1996.
-
Others
Some conferences of my interest:
-
FLoC'96,
....
-
-
ETAPS'98,
RTA'98.
-
-
ETAPS'99,
FLoC'99.
-
-
...
-
-
Please don't browse further if you are below
25
years
old.
-