"; _cf_contextpath=""; _cf_ajaxscriptsrc="/CFIDE/scripts/ajax"; _cf_jsonprefix='//'; _cf_clientid='BD140AACB578BBED299E61FAC351AD07';
Optimizing optimal reduction: A type inference algorithm for elementary affine logic

Tools and Resources
Share: 