What Is a Pure Functional?

From MaRDI portal

Revision as of 03:09, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3587439

Jump to:navigation, search

DOI10.1007/978-3-642-14162-1_17zbMath1288.68037OpenAlexW1482328693MaRDI QIDQ3587439

Helmut Seidl, Martin Hofmann, Aleksandr Karbyshev

Publication date: 7 September 2010

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14162-1_17

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (3)

CryptHOL: game-based proofs in higher-order logic ⋮ Enforcing termination of interprocedural analysis ⋮ Demand-driven interprocedural analysis for map-based abstract domains

This page was built for publication: What Is a Pure Functional?

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