A higher-order removal method
Higher-Order and Symbolic Computation
Saved in:
Main Authors: | , |
---|---|
Other Authors: | |
Format: | Article |
Published: |
2014
|
Subjects: | |
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 |