de Bruijn Notation as a Nested Datatype

類似資料

• Generalised Folds for Nested Datatypes
  著者:: Bird, R, 等
  出版事項: (1999)
• Nested Datatypes
  著者:: Bird, R, 等
  出版事項: (1998)
• On the semantics of nested datatypes
  著者:: Martin, C, 等
  出版事項: (2001)
• On the Semantics of Nested Datatypes
  著者:: Martin, C, 等
  出版事項: (2001)
• Polytypic Functions Over Nested Datatypes
  著者:: Hinze, R
  出版事項: (1999)