Výsledky vyhledávání - Datatype-generic programming

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

“…Datatype-generic programming is natural and useful in dependently typed languages such as Agda…”
Získat plný text

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

“…Datatype-generic programming increases program abstraction and reuse by making functions operate uniformly across different types…”
Získat plný text

A completely unique account of enumeration Autor 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…”
Získat plný text

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

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

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

“…The most widely used generic-programming system in the Haskell community, Scrap Your Boilerplate (SYB…”
Získat plný text

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

“…Datatype-generic programming increases program abstraction and reuse by making functions operate uniformly across different types…”
Získat plný text

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

“… The properties are used to give concise, effective proofs of termination of a number of datatype-generic programming schemas…”
Získat plný text

A lightweight approach to datatype-generic rewriting Autor 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…”
Získat plný text

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

“…Datatype-generic programming makes it possible to define a construction once and apply it to a large class of datatypes…”
Získat plný text

The Kansas University rewrite engine: A Haskell-Embedded Strategic Programming Language with Custom Closed Universes Autor 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…”
Získat plný text

The Kansas University rewrite engine Autor 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…”
Získat plný text

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

“… Different approaches to datatype-generic programming occupy different points in this design space…”
Získat plný text

Scala for generic programmers: Comparing Haskell and Scala support for generic programming Autor 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…”
Získat plný text

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

“… Other applications of indexed containers include data type-generic programming and reasoning about polymorphic functions…”
Získat plný text

Functional Programming in Financial Markets (Experience Report) Autor 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…”
Získat plný text

Scala for generic programmers Autor 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…”
Získat plný text

Deriving Law-Abiding Instances Autor 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…”
Získat plný text

Code Reuse With Transformation Objects Autor Boulytchev, Dmitri

“…We present an approach for a lightweight datatype-generic programming in Objective Caml programming language aimed at better code reuse…”
Získat plný text

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

“… Datatype-generic programming thus becomes ordinary programming. This approach is illustrated by several generic programs…”
Získat plný text

Maximum Segment Sum, Monadically (distilled tutorial, with solutions) Autor 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…”
Získat plný text