Linear-time hierarchies for a functional language machine model

DOI10.1016/S0167-6423(97)00032-4zbMATH Open0946.68011OpenAlexW1558952972MaRDI QIDQ1818323

Eva Rose

Publication date: 4 January 2000

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(97)00032-4

zbMATH Keywords

categorical abstract machine

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15)

Uses Software

• Miranda
• LISP

This page was built for publication: Linear-time hierarchies for a functional language machine model

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1818323)