Polytypic Functions Over Nested Datatypes
type: Dataset
description: International audience
landing page: 1462-7264
keyword: functional-programming
keyword: generic-programming
keyword: infoeu-reposemanticsarticle
keyword: infoinfo-dmcomputer-science-csdiscrete-mathematics-csdm
keyword: journal-articles
keyword: nested-datatypes
keyword: rational-trees
keyword: reductions
issued: 2026-05-06T01:26:47.963989
modified: 2026-05-06T01:26:47.963994
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

Polytypic Functions Over Nested Datatypes
type: Distribution
format: HTML
access URL: https://inria.hal.science/hal-00958938
issued: 2026-05-06T01:26:47.980334
modified: 2026-05-06T01:26:47.954403