Paperback Edition
Paperback
248 pages
$25.95
Choose vendor to order paperback edition
BrownWalker Press
Amazon.com
Barnes & Noble
Harvard Book Store
Return policy
PDF eBook
Entire PDF eBook
3742k
$24
Get instant access to an entire eBook
Buy PDF Password
Download Complete PDF
eBook editions
Head-Order Techniques and Other Pragmatics of Lambda Calculus Graph Reduction
by Nikos B. Troullinos


Publisher: | Dissertation |
Pub date: | 2011 |
Pages: | 248 |
ISBN-10: | 1612337570 |
ISBN-13: | 9781612337579 |
Categories: | Computer Science Computers Mathematics |
Abstract
The operational aspects of Lambda Calculus are studied as a fundamental basis for high-order functional computation. We consider systems having full reduction semantics, i.e., equivalence-preserving transformations of functions. The historic lineage from Eval-Apply to SECD to RTNF/RTLF culminates in the techniques of normal-order graph Head Order Reduction (HOR). By using a scalar mechanism to artificially bind relatively free variables, HOR makes it relatively effortless to reduce expressions beyond weak normal form and to allow expression-level results while exhibiting a well-behaved linear self-modifying code structure. Several variations of HOR are presented and compared to other efficient reducers, with and without sharing, including a conservative breadth-first one which mechanically takes advantage of the inherent, fine-grained parallelism of the head normal form. We include abstract machine and concrete implementations of all the reducers in pure functional code. Benchmarking comparisons are made through a combined time-space efficiency metric. The original results indicate that circa 2010 reduction rates of 10-100 million reductions per second can be achieved in software interpreters and a billion reductions per second can be achieved by a state-of-the art custom VLSI implementation.
Paperback Edition
Paperback
248 pages
$25.95
Choose vendor to order paperback edition
BrownWalker Press
Amazon.com
Barnes & Noble
Harvard Book Store
Return policy
PDF eBook
Entire PDF eBook
3742k
$24
Get instant access to an entire eBook
Buy PDF Password
Download Complete PDF
eBook editions
Share this book
Relevant events
NOV
15
SFN25
Neuroscience (SfN) Annual Meeting
Description: Organized by the Society for Neuroscience, this is one of the largest and most influential neuroscience conferences.
Neuroscience 2025
Final Opportunity to Shape the Sessions and Events at #SfN25
Submit...
Neuroscience (SfN) Annual Meeting
Description: Organized by the Society for Neuroscience, this is one of the largest and most influential neuroscience conferences.
Neuroscience 2...
Neuroscience (SfN) Annual Meeting
Description: Organized by the Society for Neuroscience, this is one of th...
Neuroscience (SfN) Annual Meeting
Description: Organized by the Society for Neuros...
15 - 19 Nov 2025
San Diego, United States
DEC
11
IKBS 2025
2025 International Conference of Intelligent and Knowledge-Based Systems (IKBS 2025)
2025 International Conference on Intelligent and Knowledge-Based Systems (IKBS 2025) is organized by Nanchang Hangkong University and will be held in Nanchang, China during December 11-14, 2025.
The IKBS is a flagship a...
2025 International Conference of Intelligent and Knowledge-Based Systems (IKBS 2025)
2025 International Conference on Intelligent and Knowledge-Based Systems (IKBS 2025) is organized by Nanchang Hangkong University and will be held ...
2025 International Conference of Intelligent and Knowledge-Based Systems (IKBS 2025)
2025 International Conference on Intelligent and Knowledge-Based Systems ...
2025 International Conference of Intelligent and Knowledge-Based Systems (IKBS 2025)
2025 International Conference on Intelligent and...
11 - 14 Dec 2025
Nanchang, China
MAR
19
NPSE2024
NPSE 2026 | New Perspectives in Science Education 15th Edition - International Conference
The 15th Edition of the International Conference New Perspectives in Science Education will take place:
on 18 March 2026 | Online Event
on 19-20 March 2026 | in Florence (Italy)
The event brings together educators, r...
NPSE 2026 | New Perspectives in Science Education 15th Edition - International Conference
The 15th Edition of the International Conference New Perspectives in Science Education will take place:
on 18 March 2026 | Online Event
on 19-20 ...
NPSE 2026 | New Perspectives in Science Education 15th Edition - International Conference
The 15th Edition of the International Conference New Perspectives in Scie...
NPSE 2026 | New Perspectives in Science Education 15th Edition - International Conference
The 15th Edition of the International Conference...
19 - 20 Mar 2026
Florence, Italy
OCT
13
IJDMS
International Journal of Database Management Systems (IJDMS)
International Journal of Database Management Systems (IJDMS)
IJDMS is indexed World Journal Clout Index (WJCI)
ISSN : 0975-5705 (Online); 0975-5985 (Print)
http://airccse.org/journal/ijdms/index.html
Scope & ...
International Journal of Database Management Systems (IJDMS)
International Journal of Database Management Systems (IJDMS)
IJDMS is indexed World Journal Clout Index (WJCI)
ISSN : 0975-5705 (Online); 0...
International Journal of Database Management Systems (IJDMS)
International Journal of Database Management Systems (IJDMS)
IJDMS i...
International Journal of Database Management Systems (IJDMS)
International Journal of Database Management S...
13 - 20 Oct 2025
Online Event | India
OCT
16
IEEE ICCT 2025
2025 IEEE 25th International Conference on Communication Technology (25th IEEE ICCT)
Proceedings Publication:
Accepted academic papers will be published by IEEE, and conference papers that meet IEEE Standards can be indexed by the IEEE Xplore Digital Library.
IEEE ICCT2025 has been listed on IEEE confere...
2025 IEEE 25th International Conference on Communication Technology (25th IEEE ICCT)
Proceedings Publication:
Accepted academic papers will be published by IEEE, and conference papers that meet IEEE Standards can be indexed by the ...
2025 IEEE 25th International Conference on Communication Technology (25th IEEE ICCT)
Proceedings Publication:
Accepted academic papers will be published by I...
2025 IEEE 25th International Conference on Communication Technology (25th IEEE ICCT)
Proceedings Publication:
Accepted academic pape...
16 - 18 Oct 2025
Shenyang, China
OCT
17
ICICM 2025
2025 The 10th International Conference on Integrated Circuits and Microsystems (ICICM 2025)
Publication:
The accepted and registered papers will be publication in Conference Proceedings, which will be indexed by EI Compendex, Scopus, etc.
2025 The 10th International Conference on Integrated Circuits and Microsystems (ICICM 2025)
Publication:
The accepted and registered papers will be publication in Conference Proceedings, which will be indexed by EI Compendex, Scopus, etc.
2025 The 10th International Conference on Integrated Circuits and Microsystems (ICICM 2025)
Publication:
The accepted and registered papers will be publication in C...
2025 The 10th International Conference on Integrated Circuits and Microsystems (ICICM 2025)
Publication:
The accepted and registered papers...
17 - 19 Oct 2025
Hefei, China
OCT
17
ICBSP 2025
2025 10th International Conference on Biomedical Imaging, Signal Processing (ICBSP 2025)
Paper Publication:
1. ICBSP 2025 SPIE Conference Proceedings: indexed by Ei Compendex and Scopus, and submitted to be reviewed by CPCI.
2. Journal of Image and Graphics (JOIG, ISSN: 2301-3699), Cite Score: 4.1, which wil...
2025 10th International Conference on Biomedical Imaging, Signal Processing (ICBSP 2025)
Paper Publication:
1. ICBSP 2025 SPIE Conference Proceedings: indexed by Ei Compendex and Scopus, and submitted to be reviewed by CPCI.
2. Journa...
2025 10th International Conference on Biomedical Imaging, Signal Processing (ICBSP 2025)
Paper Publication:
1. ICBSP 2025 SPIE Conference Proceedings: indexed by...
2025 10th International Conference on Biomedical Imaging, Signal Processing (ICBSP 2025)
Paper Publication:
1. ICBSP 2025 SPIE Conferenc...
17 - 19 Oct 2025
Xiamen, China
OCT
18
AIMLNET 2025
5th International conference on AI, Machine Learning in Communications and Networks (AIMLNET 2025)
5th International conference on AI, Machine Learning in Communications
and Networks (AIMLNET 2025)
October 18 -19, 2025 ,Sydney, Australia
https://csty2025.org/aimlnet/index
Scope & Topics
5th International conferen...
5th International conference on AI, Machine Learning in Communications and Networks (AIMLNET 2025)
5th International conference on AI, Machine Learning in Communications
and Networks (AIMLNET 2025)
October 18 -19, 2025 ,Sydney, Australia
https...
5th International conference on AI, Machine Learning in Communications and Networks (AIMLNET 2025)
5th International conference on AI, Machine Learning in Communications
a...
5th International conference on AI, Machine Learning in Communications and Networks (AIMLNET 2025)
5th International conference on AI, Machine Lear...
18 - 19 Oct 2025
Sydney, Australia, Australia
OCT
22
2nd International Conference on Optics and Laser technology
Scitechseries cordially invites you for the “2nd International Conference on Optics and Laser technology” (Optics 2025) is scheduled to take place in Osaka, Japan from October 22-23, 2025.
This conference is following t...
2nd International Conference on Optics and Laser technology
Scitechseries cordially invites you for the “2nd International Conference on Optics and Laser technology” (Optics 2025) is scheduled to take place ...
2nd International Conference on Optics and Laser technology
Scitechseries cordially invites you for the “2nd International Conference...
2nd International Conference on Optics and Laser technology
Scitechseries cordially invites you for the “2nd...
22 - 23 Oct 2025
Osaka, Japan
OCT
23
9th Edition of World Congress on Infectious Disease
Be a part of the 9th Edition of the World Congress on Infectious Diseases (WCID 2025), happening from October 23-25, 2025, in the vibrant city of Orlando, Florida, USA. Under the theme "Global Strategies Against Infectious...
9th Edition of World Congress on Infectious Disease
Be a part of the 9th Edition of the World Congress on Infectious Diseases (WCID 2025), happening from October 23-25, 2025, in the vibrant city of O...
9th Edition of World Congress on Infectious Disease
Be a part of the 9th Edition of the World Congress on Infectious Diseases...
9th Edition of World Congress on Infectious Disease
Be a part of the 9th Edition of the World Congre...
23 - 25 Oct 2025
FloridA, United States