Sign up ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Can someone please point out online resources to learn about Krivine Machine?

My professor briefly touched it while teaching a course in Computer logic. google did not turn up much except some papers which seemed hard to follow. Neither was there anything on it over at Wikipedia.

share|cite|improve this question
Why don't you ask your professor? –  Chris Eagle Nov 9 '12 at 17:37
because he mentioned he would not be teaching it and instead concentrate on the SECD machine. he just mentioned that if one is interested they could read about Krivines machine as well –  Ankit Nov 9 '12 at 17:50
Found these set of pdf slides at that provide a somewhat decent explanation of Krivine machine –  Ankit Nov 14 '12 at 12:24

1 Answer 1

The Krivine machine (or K-machine) [1] is a simple and natural implementation of the weak-head call-by-name reduction strategy for pure λ-terms. It can be described in just three or four rules with minimal machinery (an environment and a stack). It is an abstract machines for the implementation of functional languages. It has been used in many variants. The paper [2] gives an overview of the Krivine-machine variants.

[1] A call-by-name lambda-calculus machine, J.-L. Krivine.

[2] The Next 700 Krivine Machines, R. Douence, P. Fradet.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.