DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Philip Wadler
Philip Wadler
Structure Interpretation of Text Formats
The Marriage of Effects and Monads
A Critique of Abelson and Sussman Why Calculating Is Better Than
Richard S. Uhler
Haskell the Essence of Functional Programming
Notes on Functional Programming with Haskell
Whither Semantics?
Submission Data for 2020-2021 CORE Conference Ranking Process International Conference on Functional Programming
Variations on Algebra: Monadicity and Generalisations of Equational Theories Robinson, Edmund P
Introduction to the Literature on Programming Language Design Gary T
Philip Wadler the University of Edinburgh
Monads for Functional Programming
Generating Configurable Hardware from Parallel Patterns
Mobile Process Calculi for Programming the Blockchain Documentation Release 1.0
A Case for Generative Programming and Dsls in Performance Critical Systems
Deforestation
Philip Wadler
Mathematical Challenge March 2019 Category Theory in Typed Functional Programming
Top View
Reserved Books for CS 812 - Programing Language Semantics - Spring 2008
Course Information
SIGPLAN Makes Several Awards Based on Nominations From
Comprehending Ringads for Phil Wadler, on the Occasion of His 60Th Birthday
What We Talk About When We Talk About Monads
SIGPLAN Special Interest Group on Programming Languages • Chair Philip Wadler • Vice Chair Graham Hutton • Secretary/Awards Chair Andrew P
Wadler's the Essence of Functional Programming
Submission Data for 2020-2021 CORE Conference Ranking Process ACM Conference on Object Oriented Programming Systems Languages and Applications
Imperative Functional Programming
Reserved Books for CS 812 - Programing Language Semantics - Spring 2006
Theorems for Free for Free: Parametricity, with and Without Types
Formal Design, Implementation and Verification of Blockchain Languages
Conception, Evolution, and Application of Functional Programming Languages
Mechanized Formal Model of Bitcoin's Blockchain Validation Procedures
Homotopies for Free!
Haskell (Programming Language) 1 Haskell (Programming Language)
Issue 2019-1 December 2019 FACS a C T S
Arxiv:1506.01001V1 [Cs.LO] 2 Jun 2015 Ntrso Prtoso H Blockchain
Propositions As Types ∗
Lecture Notes in Computer Science 9600
A History of Haskell: Being Lazy with Class April 16, 2007
Functional Programming Functional Programming in the Real World Editor: Philip Wadler, University of Edinburg;
Programming with “Big Code”
Comprehending Monads