Standard

Combinators and type-driven transformers in Objective Caml. / Boulytchev, Dmitry.

в: Science of Computer Programming, Том 114, 15.12.2015, стр. 57-73.

Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Harvard

Boulytchev, D 2015, 'Combinators and type-driven transformers in Objective Caml', Science of Computer Programming, Том. 114, стр. 57-73. https://doi.org/10.1016/j.scico.2015.07.008

APA

Boulytchev, D. (2015). Combinators and type-driven transformers in Objective Caml. Science of Computer Programming, 114, 57-73. https://doi.org/10.1016/j.scico.2015.07.008

Vancouver

Boulytchev D. Combinators and type-driven transformers in Objective Caml. Science of Computer Programming. 2015 Дек. 15;114:57-73. https://doi.org/10.1016/j.scico.2015.07.008

Author

Boulytchev, Dmitry. / Combinators and type-driven transformers in Objective Caml. в: Science of Computer Programming. 2015 ; Том 114. стр. 57-73.

BibTeX

@article{2e2d03b7b42848458e9fde427462c7ce,
title = "Combinators and type-driven transformers in Objective Caml",
abstract = "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-driven transformers, which can be considered as a form of datatype-generic programming. Our implementation provides a good example of utilization of Objective Caml specific features such as open and implicitly defined types. As a result we provide a highly modular implementation built up of separately compiled components combined in a type-safe manner.",
keywords = "Combinators, Compilers, Datatype-generic programming, Functional programming, Modularization and code reuse",
author = "Dmitry Boulytchev",
note = "Funding Information: The research was supported by Russian Foundation for Basic Research grant No. 13-01-00506 . Publisher Copyright: {\textcopyright} 2015 Elsevier B.V. All rights reserved. Copyright: Copyright 2016 Elsevier B.V., All rights reserved.",
year = "2015",
month = dec,
day = "15",
doi = "10.1016/j.scico.2015.07.008",
language = "English",
volume = "114",
pages = "57--73",
journal = "Science of Computer Programming",
issn = "0167-6423",
publisher = "Elsevier",

}

RIS

TY - JOUR

T1 - Combinators and type-driven transformers in Objective Caml

AU - Boulytchev, Dmitry

N1 - Funding Information: The research was supported by Russian Foundation for Basic Research grant No. 13-01-00506 . Publisher Copyright: © 2015 Elsevier B.V. All rights reserved. Copyright: Copyright 2016 Elsevier B.V., All rights reserved.

PY - 2015/12/15

Y1 - 2015/12/15

N2 - 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-driven transformers, which can be considered as a form of datatype-generic programming. Our implementation provides a good example of utilization of Objective Caml specific features such as open and implicitly defined types. As a result we provide a highly modular implementation built up of separately compiled components combined in a type-safe manner.

AB - 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-driven transformers, which can be considered as a form of datatype-generic programming. Our implementation provides a good example of utilization of Objective Caml specific features such as open and implicitly defined types. As a result we provide a highly modular implementation built up of separately compiled components combined in a type-safe manner.

KW - Combinators

KW - Compilers

KW - Datatype-generic programming

KW - Functional programming

KW - Modularization and code reuse

UR - http://www.scopus.com/inward/record.url?scp=84960812728&partnerID=8YFLogxK

U2 - 10.1016/j.scico.2015.07.008

DO - 10.1016/j.scico.2015.07.008

M3 - Article

AN - SCOPUS:84960812728

VL - 114

SP - 57

EP - 73

JO - Science of Computer Programming

JF - Science of Computer Programming

SN - 0167-6423

ER -

ID: 76606821