Jeff Smits. The Static Semantics of the Green-Marl Graph Analysis Language: Formal Specification, Declarative Implementation and Integration with a Compiler Back-end. Master's thesis, Delft University of Technology, 2 2016.
@mastersthesis{Smits2016,
title = {The Static Semantics of the {G}reen-{M}arl Graph Analysis Language},
author = {Jeff Smits},
year = {2016},
month = {2},
url = {http://resolver.tudelft.nl/uuid:4f07cbbb-d017-41e8-aba6-8ff0c19f258d},
researchr = {https://researchr.org/publication/Smits2016},
cites = {0},
citedby = {0},
school = {Delft University of Technology},
type = {Master's thesis},
advisor = {Guido Wachsmuth},
}