Suchergebnisse - Datatype-generic programming

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

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

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

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

A completely unique account of enumeration von 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 …”
Volltext

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

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

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

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

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

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

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

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

A lightweight approach to datatype-generic rewriting von 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 …”
Volltext

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

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

The Kansas University rewrite engine: A Haskell-Embedded Strategic Programming Language with Custom Closed Universes von 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 …”
Volltext

The Kansas University rewrite engine von 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 …”
Volltext

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

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

Scala for generic programmers: Comparing Haskell and Scala support for generic programming von 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 …”
Volltext

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

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

Functional Programming in Financial Markets (Experience Report) von 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 …”
Volltext

Scala for generic programmers von 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 …”
Volltext

Deriving Law-Abiding Instances von 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 …”
Volltext

Code Reuse With Transformation Objects von Boulytchev, Dmitri

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

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

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

Maximum Segment Sum, Monadically (distilled tutorial, with solutions) von 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 …”
Volltext