Datatype generic programming in F#

Ernesto Rodriguez; W.S. Swierstra

doi:10.1145/2808098.2808101

Datatype generic programming in F#

Ernesto Rodriguez, W.S. Swierstra

Utrecht University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Abstract

Datatype generic programming enables programmers to define
functions by induction over the structure of types on which these
functions operate. This paper presents a library for datatype generic
programming in F#, built on top of the .NET reflection mechanism.
The generic functions defined using this library can be called by
any other language running on the .NET platform.

Original language	English
Title of host publication	Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming
Place of Publication	Vancouver, BC
Pages	23-32
DOIs	https://doi.org/10.1145/2808098.2808101
Publication status	Published - 2015

Keywords

datatype generic programming
reflection
F#

Access to Document

10.1145/2808098.2808101

p23-rodriguezFinal published version, 285 KB

Cite this

@inproceedings{208e6ecaa1f345bd82d6647de323367c,

title = "Datatype generic programming in F#",

abstract = "Datatype generic programming enables programmers to definefunctions by induction over the structure of types on which thesefunctions operate. This paper presents a library for datatype genericprogramming in F#, built on top of the .NET reflection mechanism.The generic functions defined using this library can be called byany other language running on the .NET platform.",

keywords = "datatype generic programming, reflection, F#",

author = "Ernesto Rodriguez and W.S. Swierstra",

year = "2015",

doi = "10.1145/2808098.2808101",

language = "English",

isbn = "978-1-4503-3810-3",

pages = "23--32",

booktitle = "Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming",

}

TY - GEN

T1 - Datatype generic programming in F#

AU - Rodriguez, Ernesto

AU - Swierstra, W.S.

PY - 2015

Y1 - 2015

N2 - Datatype generic programming enables programmers to definefunctions by induction over the structure of types on which thesefunctions operate. This paper presents a library for datatype genericprogramming in F#, built on top of the .NET reflection mechanism.The generic functions defined using this library can be called byany other language running on the .NET platform.

AB - Datatype generic programming enables programmers to definefunctions by induction over the structure of types on which thesefunctions operate. This paper presents a library for datatype genericprogramming in F#, built on top of the .NET reflection mechanism.The generic functions defined using this library can be called byany other language running on the .NET platform.

KW - datatype generic programming

KW - reflection

KW - F#

U2 - 10.1145/2808098.2808101

DO - 10.1145/2808098.2808101

M3 - Conference contribution

SN - 978-1-4503-3810-3

SP - 23

EP - 32

BT - Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming

CY - Vancouver, BC

ER -

Datatype generic programming in F#

Abstract

Keywords

Access to Document

Fingerprint

Cite this