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…”
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), also happens to be one of the slowest. Generic…”
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

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

“…When writing transformation systems, a significant amount of engineering effort goes into setting up the infrastructure needed to direct individual…”
Získat plný text

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

“…When writing transformation systems, a significant amount of engineering effort goes into setting up the infrastructure needed to direct individual…”
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

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

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

“…We show that the syntactically rich notion of inductive families can be reduced to a core type theory with a fixed number of type constructors exploiting the…”
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

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

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

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

Genericity, extensibility and type: safety in the visitor pattern Autor Oliveira, Bruno César dos Santos

“…A software component is, in a general sense, a piece of software that can be safely reused and flexibly adapted by some other piece of software. The safety can…”
Získat plný text