DOCSLIB.ORG
Sign Up
Log In
Upload
Search
Sign Up
Log In
Upload
Home
» Tags
» Function application
Function application
Making a Faster Curry with Extensional Types
Introduction to Functional Programming in Haskell & The
Type Theory & Functional Programming
Interpretations of Classical Logic Using Λ-Calculus
Lambda Calculus Alpha-Renaming, Beta Reduction, Applicative and Normal Evaluation Orders, Church-Rosser Theorem, Combinators
A Type Theory for Defining Logics and Proofs
Modeling Data with Functional Programming in R
Function Compose, Type Cut, and the Algebra of Logic
Frege's Theory of Types
Fexprs As the Basis of Lisp Function Application Or $Vau : the Ultimate Abstraction by John N
Types and Meaning Composition
Top View
