Author:
Simon Michael,Moldt Daniel,Schmitz Dennis,Haustermann Michael
Publisher
Springer International Publishing
Reference16 articles.
1. Albert, E., Hanus, M., Huch, F., Oliver, J., Vidal, G.: Operational semantics for declarative multi-paradigm languages. J. Symb. Comput. 40(1), 795–829 (2005)
2. Antoy, S., Hanus, M., Libby, S.: Proving non-deterministic computations in agda. In: Proceedings of WFLP 2016. Electronic Proceedings in Theoretical Computer Science, vol. 234, pp. 180–195. Open Publishing Association (2017)
3. Lecture Notes in Computer Science;B Braßel,2011
4. Delgado Friedrichs, F.: Referenznetze mit Anschriften in Scheme. Diploma thesis, University of Hamburg, Department of Informatics, September 2007
5. Hanus, M. (ed.): Curry: an integrated functional logic language (vers. 0.9.0) (2016).
http://www.curry-language.org