A theory of indirection via approximation

ACM SIGPLAN Notices

Saved in:

Bibliographic Details
Main Authors:	Hobor, A., Dockinsy, R., Appel, A.W.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Subjects:	Indirection theory Step-indexed models
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/40303
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

Similar Items