DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Jeremy Gibbons
Jeremy Gibbons
“Scrap Your Boilerplate” Reloaded
Manydsl One Host for All Language Needs
On Specifying and Visualising Long-Running Empirical Studies
Lecture Notes in Computer Science 6120 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan Van Leeuwen
Domain-Specific Languages for Modeling and Simulation
Unbounded Spigot Algorithms for the Digits of Pi
Towards a Repository of Bx Examples
A Separation Logic for Concurrent Randomized Programs
Profunctor Optics Modular Data Accessors
A Generative Approach to Traversal-Based Generic Programming
Denotational Translation Validation
Program Design by Calculation
(Pdf) of the School of Squiggol: a History of the Bird−Meertens
Chapter 8 Algebraic Methods for Optimization Problems
An Old New Notation for Elementary Probability Theory
Fun and Software
Comprehending Ringads for Phil Wadler, on the Occasion of His 60Th Birthday
Generating Generic Functions
Top View
Algebraic Effect Handlers Go Mainstream
Tidy Drawings of Trees
Edinburgh Research Explorer
On Ontologology
(Pdf) of Algorithmics
Algorithmics
Algorithms for Learning to Induce Programs Kevin Ellis
Datatype-Generic Programming
University of California, Irvine Dissertation Doctor
FUNCTIONAL PEARL Enumerating the Rationals
An Initial-Algebra Approach to Directed Acyclic Graphs 2
Modular Reasoning About Interference in Incremental Programming
There's Plenty of Room for Unconventional Programming
Profile of IFIP Working Group
Microsemantics As a Bootstrap in Teaching Formal Methods
Issue 2019-1 December 2019 FACS a C T S
Algorithmics
Complete Issue 21:1 As One
Lecture Notes in Computer Science 9600
Relational Algebra by Way of Adjunctions
Exploring Languages with Interpreters and Functional Programming Chapter 0
Generic Programming in 3D
Deductive Software Verification
Specified Blocks Position Paper for IFIP Working Conference on Verified Software: Theories, Tools, Experiments Zurich, Switzerland 2005 October 10 to 14
Aplicative Programming with Naperian Functors
The Fun of Programming