DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Conor McBride
Conor McBride
A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs
Agda User Manual Release 2.6.3
Current Issue of FACS FACTS
Objective Metatheory of Cubical Type Theories (Thesis Proposal) Jonathan Sterling August 15, 2020
Haskell Communities and Activities Report
162581776.Pdf
Domain-Specific Languages for Modeling and Simulation
First-Class Type Classes
Presheaf Semantics for Guarded Dependent Type Theory
Trends in Functional Programming, Transformational and Programming Generic Programming to Type Checking and Volume6 Designing New Classes of Data Types
Extensible Languages for Flexible and Principled Domain Abstraction
Generic Views on Data Types
Algebraic Effect Handlers Go Mainstream
Compiling Imperative and Functional Languages [PDF]
Verified Monadic Programming
Verification of High-Level Transformations with Inductive Refinement Types Ahmad Salim Al-Sibahi, Aleksandar Dimovski, Thomas Jensen, Andrzej Wasowski
Generic Programming with Dependent Types
Certification of an Instruction Set Simulator Xiaomu Shi
Top View
Miscomputation in Software: Learning to Live with Errors
Outils Pour La Formalisation En Analyse Classique Damien Rouhling
The Derivative of a Regular Type Is Its Type of One-Hole Contexts
TYPES Types for Proofs and Programs
Programming with Ornaments
Cultures of Programming Understanding the History of Programming Through Controversies and Technical Artifacts
First Class Syntax, Semantics and Their Composition
Algebraic Effect Handlers Go Mainstream
Haskell Communities and Activities Report
How to Keep Your Neighbours in Order
Lambda: the Ultimate Sublanguage (Experience Report)
Comparing Approaches to Generic Programming in Haskell
(Pdf) of Algorithmics
Managing Logical and Computational Complexity Using Program Transformations Nicolas Tabareau
Datatype-Generic Programming
Verification of High-Level Transformations With
Generic Views on Data Types
Scrap Your Nameplate (Functional Pearl)
Annual Report 2017 Annual Report 2017
Lecture Notes in Computer Science 2594 Edited by G
A Summary of ``On the Expressive Power Of
Algorithmics
History of Interactive Theorem Proving
Mclaughlin2020.Pdf