Switch to: References

Add citations

You must login to add citations.
  1. Generating, solving and the mathematics of Homo Sapiens. Emil Post's views on computation.Liesbeth de Mol - unknown
    Download  
     
    Export citation  
     
    Bookmark  
  • From Curry to Haskell.Felice Cardone - 2020 - Philosophy and Technology 34 (1):57-74.
    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.
    Download  
     
    Export citation  
     
    Bookmark