Loading…

Call-by-push-value : Decomposing call-by-value and call-by-name

Saved in:

Bibliographic Details
Published in:	Higher-Order and Symbolic Computation 2006-12, Vol.19 (4), p.377-414
Main Author:	BLAIN LEVY, Paul
Format:	Article
Language:	English
Subjects:	Applied sciences Computer science control theory systems Exact sciences and technology General logic Logic and foundations Mathematical logic, foundations, set theory Mathematics Programming theory Sciences and techniques of general use Theoretical computing
Citations:	Items that this one cites Items that cite this one
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!