A higher-order removal method
Higher-Order and Symbolic Computation
محفوظ في:
| المؤلفون الرئيسيون: | , |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | مقال |
| منشور في: |
2014
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | http://scholarbank.nus.edu.sg/handle/10635/99157 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| المؤسسة: | National University of Singapore |
| id |
sg-nus-scholar.10635-99157 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-991572024-11-12T18:27:56Z 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 |
| continent |
Asia |
| country |
Singapore Singapore |
| content_provider |
NUS Library |
| 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_ |
1821191050918625280 |