All links of Lua

Programming with MirandaProgramming with Miranda
Functional ProgrammingFunctional Programming
Programming Language Semantics Using MirandaProgramming Language Semantics Using Miranda
Miranda: The Craft of Functional ProgrammingMiranda: The Craft of Functional Programming
From ACT-ONE to Miranda, a Translation ExperimentFrom ACT-ONE to Miranda, a Translation Experiment
Miranda in IsabelleMiranda in Isabelle
A Logic for Miranda, RevisitedA Logic for Miranda, Revisited
Miranda Programming LanguageMiranda Programming Language
The Miranda Programming LanguageThe Miranda Programming Language

Lua related site: