Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
abstract machine
|
| gptkbp:evaluationStrategy |
call-by-name
|
| gptkbp:hasComponent |
environment
control stack |
| https://www.w3.org/2000/01/rdf-schema#label |
Krivine machine
|
| gptkbp:introducedIn |
1985
|
| gptkbp:namedAfter |
gptkb:Jean-Louis_Krivine
|
| gptkbp:operates |
lambda calculus terms
|
| gptkbp:relatedTo |
gptkb:lambda_calculus
gptkb:SECD_machine |
| gptkbp:usedFor |
implementing call-by-name lambda calculus evaluation
|
| gptkbp:usedIn |
functional programming language implementation
|
| gptkbp:bfsParent |
gptkb:Jean-Louis_Krivine
|
| gptkbp:bfsLayer |
6
|