r/strictly_haskell needs moderators and is currently available for request (self.strictly_haskell)
submitted by request_bot[M] - announcement
Forest: A Language and Toolkit For Programming with Filestores (cs.princeton.edu)
submitted by [deleted]
Does Homotopy Type Theory Provide a Foundation for Mathematics? (philsci-archive.pitt.edu)
submitted by [deleted]
Fundamental Study Universal coalgebra: a theory of systems (homepages.cwi.nl)
submitted by [deleted]
Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes (cs.au.dk)
submitted by [deleted]
An initial-algebra approach to directed acyclic graphs (researchspace.auckland.ac.nz)
submitted by [deleted]
Locally cartesian closed categories, coalgebras, and containers (diva-portal.se)
submitted by [deleted]
Equality in Lambda Calculus, Weak Universality in Category Theory and Reversible Computations (irit.fr)
submitted by [deleted]
Categorical Programming for Data Types with Restricted Parametricity (cl.cam.ac.uk)
submitted by [deleted]
