Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Functional

Functional Programming Languages and Computer Architecture: 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings (Lecture Notes in Computer Science)


Huge Savings Item! Save 13% on the Functional Programming Languages and Computer Architecture: 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings (Lecture Notes in Computer Science) by John Hughes at EMS Linux. MPN: 1. Hurry! Limited time offer. Offer valid only while supplies last. This book offers a comprehensive view of the best and the latest work in functional programming. It is the proceedings of a major international


Product Description

This book offers a comprehensive view of the best and the latest work in functional programming. It is the proceedings of a major international conference and contains 30 papers selected from 126 submitted. A number of themes emerge. One is a growing interest in types: powerful type systems or type checkers supporting overloading, coercion, dynamic types, and incremental inference; linear types to optimize storage, and polymorphic types to optimize semantic analysis. The hot topic of partial evaluation is well represented: techniques for higher-order binding-time analysis, assuring termination of partial evaluation, and improving the residual programs a partial evaluator generates. The thorny problem of manipulating state in functional languages is addressed: one paper even argues that parallel programs with side-effects can be "more declarative" than purely functional ones. Theoretical work covers a new model of types based on projections, parametricity, a connection between strictness analysis and logic, and a discussion of efficient implementations of the lambda-calculus. The connection with computer architecture and a variety of other topics are also addressed.

Additional Information

Manufacturer:Springer
Brand:John Hughes
Part Number:1
Publisher:Springer
Studio:Springer
MPN:1
EAN:9783540543961
Item Weight:2.06 pounds
Item Size:1.54 x 9.65 x 9.65 inches
Package Weight:2.15 pounds
Package Size:6.1 x 1.6 x 1.6 inches

Functional Programming Languages and Computer Architecture: 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings (Lecture Notes in Computer Science) by John Hughes

Buy Now:
Functional Programming Languages and Computer Architecture: 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings (Lecture Notes in Computer Science)

Brand: John Hughes
4.0 out of 5 stars with 52 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$169.00
$147.30
You Save: 13%


Quantity:  

 


View More In Functional.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by John Hughes, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


mpn: Illustrations, ean: 9783540648963, isbn: 3540648968,
This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in September 1998.The 35 revised full papers presented were carefully selected from a total of 104 submissions....

mpn: biography, ean: 9783642105456, isbn: 3642105459,
As future generation information technology (FGIT) becomes specialized and fr- mented, it is easy to lose sight that many topics in FGIT have common threads and, because of this, advances in one discipline may be transmitted to others. Presentation o...

ean: 9783642320958, isbn: 3642320953,
This volume presents the revised lecture notes of selected talks given at the Fourth Central European Functional Programming School, CEFP 2011, held in June 2011 in Budapest, Hungary. The 11 revised full papers presented were carefully reviewed by ex...

mpn: biography, ean: 9789048142590, isbn: 9048142598,
Spline functions entered Approximation Theory as solutions of natural extremal problems. A typical example is the problem of drawing a function curve through given n + k points that has a minimal norm of its k-th derivative. Isolated facts about the ...

mpn: biography, ean: 9789048145164, isbn: 9048145163,
Approximation Theory, Wavelets and Applications draws together the latest developments in the subject, provides directions for future research, and paves the way for collaborative research. The main topics covered include constructive multivariate ap...

mpn: biography, ean: 9789048161508, isbn: 9048161509,
This book concentrates on the branching solutions of nonlinear operator equations and the theory of degenerate operator-differential equations especially applicable to algorithmic analysis and nonlinear PDE's in mechanics and mathematical physics. Th...

mpn: biography, ean: 9789400732025, isbn: 9400732023,
Applied Time Series Analysis and Innovative Computing contains the applied time series analysis and innovative computing paradigms, with frontier application studies for the time series problems based on the recent works at the Oxford University Comp...

mpn: biography, ean: 9789401059466, isbn: 9401059462,
Since the initiative works for global analysis of linear differential equations by G.G. Stokes and B. Riemann in 1857, the Airy function and the Gauss hypergeometric function became the most important and the greatest practical special functions, whi...

ean: 9789811063909, isbn: 9811063907,
This book provides explicit representations of finite-dimensional simple Lie algebras, related partial differential equations, linear orthogonal algebraic codes, combinatorics and algebraic varieties, summarizing the author’s works and his joint wo...

mpn: 41 black & white illustrations, biograph, ean: 9783709116159, isbn: 3709116155,
The book focuses on advanced computer algebra methods and special functions that have striking applications in the context of quantum field theory. It presents the state of the art and new methods for (infinite) multiple sums, multiple integrals, in ...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.