scientific article

From MaRDI portal

Publication:3836527

Jump to:navigation, search

zbMath0947.68031MaRDI QIDQ3836527

Publication date: 9 December 1999

Full work available at URL: https://eudml.org/doc/120585

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

functional programming rational trees nested datatypes generic programmimg

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Data structures (68P05)

Related Items (2)

A principled approach to programming with nested types in Haskell ⋮ Substitution in non-wellfounded syntax with variable binding

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3836527&oldid=17436138"