Search filters

Authors whose works are in public domain in at least one jurisdiction

List of works by Stephanie Weirich

Dependently-Typed Programming with Logical Equality Reflection

scientific article published on 31 August 2023

Intensional polymorphism in type-erasure semantics

article published in 2002

Position paper: the science of deep specification

scientific article published in October 2017

Program adverbs and Tlön embeddings

scientific article published in 2022

Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs

scientific article published on 15 August 2024

Towards synthesis of platform-aware attack-resilient control systems

Paulina is supported by:

About Paulina

Help