scientific article; zbMATH DE number 7324348

zbMath1457.68050arXiv1202.2919MaRDI QIDQ5854727

Ondrej Rypacek, Mauro Jaskelioff

Publication date: 17 March 2021

Full work available at URL: https://arxiv.org/abs/1202.2919

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)

Related Items (3)

Breadth-first traversal via staging ⋮ A representation theorem for second-order functionals ⋮ Notions of computation as monoids

This page was built for publication: