de Bruijn Notation as a Nested Datatype

de Bruijn Notation as a Nested Datatype

书目详细资料
Main Authors:	Bird, R, Paterson, R
格式:	Journal article
出版:	1999

相似书籍

Generalised Folds for Nested Datatypes
由: Bird, R, et al.
出版: (1999)

Nested Datatypes
由: Bird, R, et al.
出版: (1998)

On the semantics of nested datatypes
由: Martin, C, et al.
出版: (2001)

On the Semantics of Nested Datatypes
由: Martin, C, et al.
出版: (2001)

Polytypic Functions Over Nested Datatypes
由: Hinze, R
出版: (1999)

Polytypic Functions Over Nested Datatypes
由: Hinze, R
出版: (1998)

Numerical Representations as Higher−Order Nested Datatypes
由: Hinze, R
出版: (1998)

Parametric Datatype−Genericity
由: Gibbons, J, et al.
出版: (2009)

Polytypic Functions Over Nested Datatypes
由: Ralf Hinze
出版: (1999-01-01)

Polytypic Functions Over Nested Datatypes
由: Ralf Hinze
出版: (1999-12-01)

Parametric Datatype-Genericity
由: Gibbons, J, et al.
出版: (2009)

Polytypic Functions Over Nested Datatypes (Extended Abstract)
由: Hinze, R
出版: (1999)

Disciplined, efficient, generalised folds for nested datatypes
由: Martin, C, et al.
出版: (2004)

Disciplined‚ efficient‚ generalised folds for nested datatypes
由: Martin, C, et al.
出版: (2004)

Manufacturing Datatypes
由: Hinze, R
出版: (1999)

Manufacturing Datatypes
由: Hinze, R
出版: (1999)

Manufacturing datatypes
由: Hinze, R
出版: (2001)

Datatype−Generic Programming
出版: (2007)

Datatype-generic programming
由: Gibbons, J
出版: (2007)

Unfolding Abstract Datatypes
由: Gibbons, J
出版: (2008)

Unfolding abstract datatypes
由: Gibbons, J
出版: (2008)

Datatype−Generic Programming
由: Gibbons, J
出版: (2007)

On Relational Analysis of Algebraic Datatypes
由: Kuncak, Viktor, et al.
出版: (2005)

Polite Combination of Algebraic Datatypes
由: Sheng, Ying, et al.
出版: (2022)

Generic Programming for Indexed Datatypes
由: aes, J, et al.
出版: (2011)

Generic programming for indexed datatypes
由: aes, J, et al.
出版: (2011)

OWL Datatypes: Design and Implementation.
由: Motik, B, et al.
出版: (2008)

Patterns in Datatype−Generic Programming
由: Gibbons, J
出版: (2003)

Spring School on Datatype−Generic Programming
出版: (2007)

Higher−Order Functions and Structured Datatypes
由: Benedikt, M, et al.
出版: (2012)

Comparing Datatype Generic Libraries in Haskell
由: Kiselyov, B
出版: (2009)

A Lightweight Approach to Datatype−generic Rewriting
由: van Noort, T, et al.
出版: (2010)

A lightweight approach to datatype−generic rewriting
由: van Noort, T, et al.
出版: (2010)

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

Datatype ornamentation and the Dutch National Flag problem
由: Ko, H
出版: (2011)

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

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

关于de Bruijn序列
由: 康庆德
出版: (1991-01-01)

关于de Bruijn序列
由: 康庆德
出版: (1991-01-01)

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