Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You and Your Team.

Learn More →

From Curry to Haskell

From Curry to Haskell We expose some basic elements of a style of programming supported by functional languages like Haskell by relating them to a coherent set of notions and techniques from Curry’s work in combinatory logic and formal systems, and their algebraic and categorical interpretations. Our account takes the form of a commentary to a simple fragment of Haskell code attempting to isolate the conceptual sources of the linguistic abstractions involved. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Philosophy & Technology Springer Journals

From Curry to Haskell

Philosophy & Technology , Volume 34 (1) – Feb 13, 2020

Loading next page...
 
/lp/springer-journals/from-curry-to-haskell-GsqCua0FnY
Publisher
Springer Journals
Copyright
Copyright © Springer Nature B.V. 2020
ISSN
2210-5433
eISSN
2210-5441
DOI
10.1007/s13347-019-00385-4
Publisher site
See Article on Publisher Site

Abstract

We expose some basic elements of a style of programming supported by functional languages like Haskell by relating them to a coherent set of notions and techniques from Curry’s work in combinatory logic and formal systems, and their algebraic and categorical interpretations. Our account takes the form of a commentary to a simple fragment of Haskell code attempting to isolate the conceptual sources of the linguistic abstractions involved.

Journal

Philosophy & TechnologySpringer Journals

Published: Feb 13, 2020

There are no references for this article.