Search Results - Datatype-generic programming

Datatype-generic programming meets elaborator reflection by Ko, Hsiang-Shang, Chen, Liang-Ting, Lin, Tzu-Chi

“…Datatype-generic programming is natural and useful in dependently typed languages such as Agda…”
Get full text

A Formal Comparison of Approaches to Datatype-Generic Programming by Magalhães, José Pedro, Löh, Andres

“…Datatype-generic programming increases program abstraction and reuse by making functions operate uniformly across different types…”
Get full text

A completely unique account of enumeration by van der Rest, Cas, Swierstra, Wouter

“…How can we enumerate the inhabitants of an algebraic datatype? This paper explores a datatype generic solution that works for all regular types and indexed families…”
Get full text

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

“…; in addition we extensively use an idiom of type-driven transformers, which can be considered as a form of datatype-generic programming…”
Get full text

Optimizing SYB traversals is easy by Adams, Michael D., Farmer, Andrew, Magalhães, José Pedro

“…The most widely used generic-programming system in the Haskell community, Scrap Your Boilerplate (SYB…”
Get full text

A Formal Comparison of Approaches to Datatype-Generic Programming by José Pedro Magalhães, Löh, Andres

“…Datatype-generic programming increases program abstraction and reuse by making functions operate uniformly across different types…”
Get full text

Datatype-Generic Termination Proofs by Backhouse, Roland, Doornbos, Henk

“… The properties are used to give concise, effective proofs of termination of a number of datatype-generic programming schemas…”
Get full text

A lightweight approach to datatype-generic rewriting by VAN NOORT, THOMAS, RODRIGUEZ YAKUSHEV, ALEXEY, HOLDERMANS, STEFAN, JEURING, JOHAN, HEEREN, BASTIAAN, MAGALHÃES, JOSÉ PEDRO

“…Term-rewriting systems can be expressed as generic programs parameterised over the shape of the terms being rewritten. Previous implementations of generic…”
Get full text

Practical generic programming over a universe of native datatypes by Escot, Lucas, Cockx, Jesper

“…Datatype-generic programming makes it possible to define a construction once and apply it to a large class of datatypes…”
Get full text

The Kansas University rewrite engine: A Haskell-Embedded Strategic Programming Language with Custom Closed Universes by SCULTHORPE, NEIL, FRISBY, NICOLAS, GILL, ANDY

“… Strategic programming languages provide general-purpose infrastructure for this task, which the author of a transformation system can use for any algebraic data structure…”
Get full text

The Kansas University rewrite engine by SCULTHORPE, NEIL, FRISBY, NICOLAS, GILL, ANDY

“… Strategic programming languages provide general-purpose infrastructure for this task, which the author of a transformation system can use for any algebraic data structure…”
Get full text

Generic programming in 3D by Hinze, Ralf, Löh, Andres

“… Different approaches to datatype-generic programming occupy different points in this design space…”
Get full text

Scala for generic programmers: Comparing Haskell and Scala support for generic programming by OLIVEIRA, BRUNO C. D. S., GIBBONS, JEREMY

“…Datatype-generic programming (DGP) involves parametrization of programs by the shape of data, in the form of type constructors such as ‘list…”
Get full text

Indexed Containers by Altenkirch, T., Morris, P.

“… Other applications of indexed containers include data type-generic programming and reasoning about polymorphic functions…”
Get full text

Functional Programming in Financial Markets (Experience Report) by Dijkstra, Atze, Magalhães, José Pedro, Néron, Pierre

“…We present a case-study of using functional programming in the real world at a very large scale…”
Get full text

Scala for generic programmers by OLIVEIRA, BRUNO C. D. S., GIBBONS, JEREMY

“…Datatype-generic programming (DGP) involves parametrization of programs by the shape of data, in the form of type constructors such as ‘list…”
Get full text

Deriving Law-Abiding Instances by Ryan, Scott, Choudhury, Vikraman, Newton, Ryan, Vazou, Niki, Jhala, Ranjit

“… We present a technique for programming with refinement reflection which solves this problem by leveraging datatype-generic programming…”
Get full text

Code Reuse With Transformation Objects by Boulytchev, Dmitri

“…We present an approach for a lightweight datatype-generic programming in Objective Caml programming language aimed at better code reuse…”
Get full text

A cosmology of datatypes: Reusability and dependent types by Dagand, Pierre-Évariste

“… Datatype-generic programming thus becomes ordinary programming. This approach is illustrated by several generic programs…”
Get full text

Maximum Segment Sum, Monadically (distilled tutorial, with solutions) by Gibbons, Jeremy

“… Here, we take a sideways look at the datatype-generic version of the problem in terms of monadic functional programming, instead of the traditional relational approach…”
Get full text