Index

A

abstract instruction

abstract stack machine

B

bool

C

call stack compile constant

constructor continuation continuation passing style

D

data symbol delimited continuation

delimited continuation tag desugared form desugaring

E

embedded properties

exception

F

function

function symbol

H

host procedure

host system

K

kinkdoc

M

method module

module base paths module system

O

owner of the variable

P

predicate

R

runtime

S

symbol of the variable

T

tail call tail call elimination

thunk trait translation

V

value variable variable reference

variable-load operation variable-store operation variable-symbols operation vector