A higher-order removal method

Higher-Order and Symbolic Computation

Saved in:

Bibliographic Details
Main Authors:	Chin, W.-N., Darlington, J.
Other Authors:	INFORMATION SYSTEMS & COMPUTER SCIENCE
Format:	Article
Published:	2014
Subjects:	Compiler Optimization Eta-Expansion Function Specialisation Higher-Order Removal Parameter Analysis Program Transformation Termination Proofs
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/99157
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-99157
record_format	dspace
spelling	sg-nus-scholar.10635-991572015-01-29T07:04:28Z A higher-order removal method Chin, W.-N. Darlington, J. INFORMATION SYSTEMS & COMPUTER SCIENCE Compiler Optimization Eta-Expansion Function Specialisation Higher-Order Removal Parameter Analysis Program Transformation Termination Proofs Higher-Order and Symbolic Computation 9 4 287-322 2014-10-27T06:01:14Z 2014-10-27T06:01:14Z 1996 Article Chin, W.-N.,Darlington, J. (1996). A higher-order removal method. Higher-Order and Symbolic Computation 9 (4) : 287-322. ScholarBank@NUS Repository. 13883690 http://scholarbank.nus.edu.sg/handle/10635/99157 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
topic	Compiler Optimization Eta-Expansion Function Specialisation Higher-Order Removal Parameter Analysis Program Transformation Termination Proofs
spellingShingle	Compiler Optimization Eta-Expansion Function Specialisation Higher-Order Removal Parameter Analysis Program Transformation Termination Proofs Chin, W.-N. Darlington, J. A higher-order removal method
description	Higher-Order and Symbolic Computation
author2	INFORMATION SYSTEMS & COMPUTER SCIENCE
author_facet	INFORMATION SYSTEMS & COMPUTER SCIENCE Chin, W.-N. Darlington, J.
format	Article
author	Chin, W.-N. Darlington, J.
author_sort	Chin, W.-N.
title	A higher-order removal method
title_short	A higher-order removal method
title_full	A higher-order removal method
title_fullStr	A higher-order removal method
title_full_unstemmed	A higher-order removal method
title_sort	higher-order removal method
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/99157
_version_	1681092138830397440

A higher-order removal method

Similar Items