de Bruijn Notation as a Nested Datatype

de Bruijn Notation as a Nested Datatype

Dades bibliogràfiques
Autors principals:	Bird, R, Paterson, R
Format:	Journal article
Publicat:	1999

Ítems similars

Generalised Folds for Nested Datatypes
per: Bird, R, et al.
Publicat: (1999)

Nested Datatypes
per: Bird, R, et al.
Publicat: (1998)

On the semantics of nested datatypes
per: Martin, C, et al.
Publicat: (2001)

On the Semantics of Nested Datatypes
per: Martin, C, et al.
Publicat: (2001)

Polytypic Functions Over Nested Datatypes
per: Hinze, R
Publicat: (1999)

Polytypic Functions Over Nested Datatypes
per: Hinze, R
Publicat: (1998)

Numerical Representations as Higher−Order Nested Datatypes
per: Hinze, R
Publicat: (1998)

Parametric Datatype−Genericity
per: Gibbons, J, et al.
Publicat: (2009)

Polytypic Functions Over Nested Datatypes
per: Ralf Hinze
Publicat: (1999-01-01)

Polytypic Functions Over Nested Datatypes
per: Ralf Hinze
Publicat: (1999-12-01)

Parametric Datatype-Genericity
per: Gibbons, J, et al.
Publicat: (2009)

Polytypic Functions Over Nested Datatypes (Extended Abstract)
per: Hinze, R
Publicat: (1999)

Disciplined, efficient, generalised folds for nested datatypes
per: Martin, C, et al.
Publicat: (2004)

Disciplined‚ efficient‚ generalised folds for nested datatypes
per: Martin, C, et al.
Publicat: (2004)

Manufacturing Datatypes
per: Hinze, R
Publicat: (1999)

Manufacturing Datatypes
per: Hinze, R
Publicat: (1999)

Manufacturing datatypes
per: Hinze, R
Publicat: (2001)

Datatype−Generic Programming
Publicat: (2007)

Datatype-generic programming
per: Gibbons, J
Publicat: (2007)

Unfolding Abstract Datatypes
per: Gibbons, J
Publicat: (2008)

Unfolding abstract datatypes
per: Gibbons, J
Publicat: (2008)

Datatype−Generic Programming
per: Gibbons, J
Publicat: (2007)

On Relational Analysis of Algebraic Datatypes
per: Kuncak, Viktor, et al.
Publicat: (2005)

Polite Combination of Algebraic Datatypes
per: Sheng, Ying, et al.
Publicat: (2022)

Generic Programming for Indexed Datatypes
per: aes, J, et al.
Publicat: (2011)

Generic programming for indexed datatypes
per: aes, J, et al.
Publicat: (2011)

OWL Datatypes: Design and Implementation.
per: Motik, B, et al.
Publicat: (2008)

Patterns in Datatype−Generic Programming
per: Gibbons, J
Publicat: (2003)

Spring School on Datatype−Generic Programming
Publicat: (2007)

Higher−Order Functions and Structured Datatypes
per: Benedikt, M, et al.
Publicat: (2012)

Comparing Datatype Generic Libraries in Haskell
per: Kiselyov, B
Publicat: (2009)

A Lightweight Approach to Datatype−generic Rewriting
per: van Noort, T, et al.
Publicat: (2010)

A lightweight approach to datatype−generic rewriting
per: van Noort, T, et al.
Publicat: (2010)

UTypes: A library for uncertain datatypes in Python
per: Carlos Javier Fernández-Candel, et al.
Publicat: (2024-05-01)

Datatype ornamentation and the Dutch National Flag problem
per: Ko, H
Publicat: (2011)

Datatype defining rewrite systems for naturals and integers
per: Jan A. Bergstra, et al.
Publicat: (2021-02-01)

Reasoning about modular datatypes with Mendler induction
per: Paolo Torrini, et al.
Publicat: (2015-09-01)

关于de Bruijn序列
per: 康庆德
Publicat: (1991-01-01)

关于de Bruijn序列
per: 康庆德
Publicat: (1991-01-01)

A Formal Comparison of Approaches to Datatype−Generic Programming
per: aes, J, et al.
Publicat: (2012)