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

id	sg-nus-scholar.10635-40303
record_format	dspace
spelling	sg-nus-scholar.10635-403032015-01-31T03:26:35Z A theory of indirection via approximation Hobor, A. Dockinsy, R. Appel, A.W. COMPUTER SCIENCE Indirection theory Step-indexed models ACM SIGPLAN Notices 45 1 171-184 2013-07-04T08:01:13Z 2013-07-04T08:01:13Z 2010 Conference Paper Hobor, A.,Dockinsy, R.,Appel, A.W. (2010). A theory of indirection via approximation. ACM SIGPLAN Notices 45 (1) : 171-184. ScholarBank@NUS Repository. 15232867 http://scholarbank.nus.edu.sg/handle/10635/40303 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
topic	Indirection theory Step-indexed models
spellingShingle	Indirection theory Step-indexed models Hobor, A. Dockinsy, R. Appel, A.W. A theory of indirection via approximation
description	ACM SIGPLAN Notices
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Hobor, A. Dockinsy, R. Appel, A.W.
format	Conference or Workshop Item
author	Hobor, A. Dockinsy, R. Appel, A.W.
author_sort	Hobor, A.
title	A theory of indirection via approximation
title_short	A theory of indirection via approximation
title_full	A theory of indirection via approximation
title_fullStr	A theory of indirection via approximation
title_full_unstemmed	A theory of indirection via approximation
title_sort	theory of indirection via approximation
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/40303
_version_	1681082244823777280

Similar Items