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

Tools and Resources
Share: 