Browse by ISBN
Number of items: 1.
de Muijnck-Hughes, Jan and Brady, Edwin and Vanderbauwhede, Wim; Hirschfeld, Robert and Pape, Tobias, eds. (2020) A framework for resource dependent EDSLs in a dependently typed language. In: 34th European Conference on Object-Oriented Programming, ECOOP 2020. Leibniz International Proceedings in Informatics, LIPIcs, 166 . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, DEU. ISBN 9783959771542