= Krivine machine
{wiki=Krivine_machine}
The Krivine machine is a computational model used to implement and understand lazy evaluation, particularly in the context of functional programming languages. It was introduced by a computer scientist named Jean-Pierre Krivine in the context of the implementation of the lambda calculus. \#\#\# Key Features of the Krivine Machine: 1. **Lazy Evaluation**: The Krivine machine is designed to efficiently handle lazy evaluation, which means that expressions are only evaluated when their values are needed.
Back to article page
