40.2k citations
- National Institute of Chemical Physics and BiophysicsEE28 papers
- University of TartuEE15 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PadovaIT10 papers
- University of OxfordGB10 papers
- University of PaduaIT10 papers
- University of CambridgeGB9 papers
- Aalto UniversityFI8 papers
- Centre National de la Recherche ScientifiqueFR8 papers
- European Organization for Nuclear ResearchCH8 papers
- University of HelsinkiFI8 papers
- King's College LondonGB7 papers
- Reykjavík UniversityIS6 papers
6 papers · 1 filter
Monads need not be endofunctors
Thosten Altenkirch, James Chapman, Tarmo Uustalu
We introduce a generalization of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vector spaces, u…
A Hoare logic for the coinductive trace-based big-step semantics of While
Keiko Nakata, Tarmo Uustalu
In search for a foundational framework for reasoning about observable behavior of programs that may not terminate, we have previously devised a trace-based big-step semantics for W…
When is a container a comonad?
Danel Ahman, James Chapman, Tarmo Uustalu
Abbott, Altenkirch, Ghani and others have taught us that many parameterized datatypes (set functors) can be usefully analyzed via container representations in terms of a set of sha…
RiPKI: The Tragic Story of RPKI Deployment in the Web Ecosystem
Matthias Wählisch, Robert Schmidt, Thomas C. Schmidt +3
Web content delivery is one of the most important services on the Internet. Access to websites is typically secured via TLS. However, this security model does not account for prefi…
Coherence for Skew-Monoidal Categories
Tarmo Uustalu
I motivate a variation (due to K. Szlachányi) of monoidal categories called skew-monoidal categories where the unital and associativity laws are not required to be isomorphisms, on…
Excitons in \ce{Mg(OH)2} and \ce{Ca(OH)2} from \textit{ab initio} calculations
A. Pishtshev, S. Zh. Karazhanov, M. Klopov
By using \textit{ab initio} calculations with the HSE06 hybrid functional and GW approximation combined with numerical solution of the Bethe Salpeter equation (GW-BSE) we predict t…