No label defined (Q5089007)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7559274

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7559274

Statements

scholarly article

0 references

Małgorzata Biernacka

0 references

Witold Charatonik

0 references

publication date

18 July 2022

0 references

zbMATH Keywords

abstract machines

0 references

reduction semantics

0 references

MaRDI profile type

MaRDI publication profile

0 references

The Useful MAM, a Reasonable Implementation of the Strong $$\lambda $$ -Calculus

0 references

A Strong Distillery

0 references

On the Relative Usefulness of Fireballs

0 references

Implementing open call-by-value

0 references

A functional correspondence between call-by-need evaluators and lazy abstract machines

0 references

The call-by-need lambda calculus

0 references

0 references

A syntactic correspondence between context-sensitive calculi and abstract machines

0 references

Strongly reducing variants of the Krivine abstract machine

0 references

Defunctionalized Interpreters for Call-by-Need Evaluation

0 references

0 references

Lazy evaluation and delimited control

0 references

A compiled implementation of strong reduction

0 references

The call-by-need lambda calculus

0 references

Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine

0 references

Deriving a lazy abstract machine

0 references

A new implementation technique for applicative languages

0 references

Identifiers

10.4230/LIPIcs.FSCD.2019.8

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5089007

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5089007&oldid=36831153"