Combinators and type-driven transformers in Objective Caml

We describe an implementation of LDTA 2011 Tool Challenge tasks in Objective Caml language. Instead of using some dedicated domain-specific tools we utilize typical functional programming machinery such as polymorphic functions, monads and combinators; in addition we extensively use an idiom of type...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Science of computer programming Jg. 114; S. 57 - 73
1. Verfasser:	Boulytchev, Dmitry
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 15.12.2015
Schlagworte:	Combinators Compilers Datatype-generic programming Functional programming Modularization and code reuse Modularization and code reuse Functional programming Datatype-generic programming Combinators Compilers
ISSN:	0167-6423, 1872-7964
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!