Types and Programming Languages (Benjamin C. Pierce)

1. Call-by-value (CBV): đây là chiến lược đánh giá tham số được truyền vào hàm hay thủ tục. Trong đó chỉ có giá trị được truyền vào, những thay đổi với tham số đó bên trong hàm hay thủ tục không ảnh hưởng đến tham số thực ở bên ngoài (caller).