LucasDepartamento

Observable Semantics and Dynamic Analysis ofComputational Processes

Salvador, LucasDepartamento, D. Inform, 2000 .

A Framework for the Analysis of Syntactic Replacement Restrictions

Salvador, LucasDepartamento, D. Inform, 1999 .

UPV-Curry : An Incremental Curry Interpreter withPolymorphic Types and Monadic I / O

S., M. Alpuente, LucasDepartamento, 1999 .