de Bruijn Notation as a Nested Datatype

de Bruijn Notation as a Nested Datatype

Xehetasun bibliografikoak
Egile Nagusiak:	Bird, R, Paterson, R
Formatua:	Journal article
Argitaratua:	1999

Antzeko izenburuak

Generalised Folds for Nested Datatypes
nork: Bird, R, et al.
Argitaratua: (1999)

Nested Datatypes
nork: Bird, R, et al.
Argitaratua: (1998)

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

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

Polytypic Functions Over Nested Datatypes
nork: Hinze, R
Argitaratua: (1999)

Polytypic Functions Over Nested Datatypes
nork: Hinze, R
Argitaratua: (1998)

Numerical Representations as Higher−Order Nested Datatypes
nork: Hinze, R
Argitaratua: (1998)

Parametric Datatype−Genericity
nork: Gibbons, J, et al.
Argitaratua: (2009)

Polytypic Functions Over Nested Datatypes
nork: Ralf Hinze
Argitaratua: (1999-01-01)

Polytypic Functions Over Nested Datatypes
nork: Ralf Hinze
Argitaratua: (1999-12-01)

Parametric Datatype-Genericity
nork: Gibbons, J, et al.
Argitaratua: (2009)

Polytypic Functions Over Nested Datatypes (Extended Abstract)
nork: Hinze, R
Argitaratua: (1999)

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

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

Manufacturing Datatypes
nork: Hinze, R
Argitaratua: (1999)

Manufacturing Datatypes
nork: Hinze, R
Argitaratua: (1999)

Manufacturing datatypes
nork: Hinze, R
Argitaratua: (2001)

Datatype−Generic Programming
Argitaratua: (2007)

Datatype-generic programming
nork: Gibbons, J
Argitaratua: (2007)

Unfolding Abstract Datatypes
nork: Gibbons, J
Argitaratua: (2008)

Unfolding abstract datatypes
nork: Gibbons, J
Argitaratua: (2008)

Datatype−Generic Programming
nork: Gibbons, J
Argitaratua: (2007)

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

Polite Combination of Algebraic Datatypes
nork: Sheng, Ying, et al.
Argitaratua: (2022)

Generic Programming for Indexed Datatypes
nork: aes, J, et al.
Argitaratua: (2011)

Generic programming for indexed datatypes
nork: aes, J, et al.
Argitaratua: (2011)

OWL Datatypes: Design and Implementation.
nork: Motik, B, et al.
Argitaratua: (2008)

Patterns in Datatype−Generic Programming
nork: Gibbons, J
Argitaratua: (2003)

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

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

Comparing Datatype Generic Libraries in Haskell
nork: Kiselyov, B
Argitaratua: (2009)

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

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

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

Datatype ornamentation and the Dutch National Flag problem
nork: Ko, H
Argitaratua: (2011)

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

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

关于de Bruijn序列
nork: 康庆德
Argitaratua: (1991-01-01)

关于de Bruijn序列
nork: 康庆德
Argitaratua: (1991-01-01)

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