Evaluation à la carte: non-strict evaluation via compositional data types

Patrick Bahr

2059 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Evaluation à la carte: non-strict evaluation via compositional data types'. Together they form a unique fingerprint.