HLola

HLola is a Lola engine. It is presented as an embedded Domain Specific Language in Haskell where we tried to get rid of concrete types and focus our attention on the temporal aspects of a given specification. By abstracting away specific types, we not only presented (finally) an implementation where, in principle, simple types can be added seamlessly, but also preserved the wonderful property of constant memory execution for a class of specifications. My role here was to provide guidance on the creation and implementation of such an eDSL.