Concrete data structures and functional parallel programming

DOI10.1016/S0304-3975(00)00010-4zbMath0974.68029OpenAlexW2115610601MaRDI QIDQ5941198

Gaétan Hains, John Mullins, Frédéric Loulergue

Publication date: 20 August 2001

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(00)00010-4

zbMATH Keywords

concrete data structuresdeterministic parallel programmingfunctional programmingsemantic models

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

• Parallel implementation of tree skeletons
• Concrete domains
• Fully abstract semantics for observably sequential languages
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item