Stephanie Weirich

Available identifiers

zbMath Open weirich.stephanieDBLPw/StephanieWeirichWikidataQ57268372 ScholiaQ57268372MaRDI QIDQ2763692

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6079236	2023-10-27	Paper
A dependent dependency calculus	2023-08-03	Paper
Ready,Set, Verify! Applyinghs-to-coqto real-world Haskell code	2021-12-22	Paper
https://portal.mardi4nfdi.de/entity/Q5854726	2021-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q5854731	2021-03-17	Paper
Intensional polymorphism in type-erasure semantics	2019-09-26	Paper
Safe zero-cost coercions for Haskell	2017-10-23	Paper
Intensional polymorphism in type-erasure semantics	2017-08-21	Paper
Safe zero-cost coercions for Haskell	2016-09-29	Paper
Programming up to congruence	2016-09-29	Paper
Flexible type analysis	2016-09-01	Paper
A Reflection on Types	2016-08-17	Paper
Visible Type Application	2016-04-26	Paper
Type-safe cast	2015-09-11	Paper
Boxy types	2015-08-03	Paper
Free Theorems and Runtime Type Representations	2015-07-10	Paper
Boxes go bananas	2015-07-02	Paper
Contracts made manifest	2015-06-11	Paper
Dependent types and program equivalence	2015-06-11	Paper
System FC with explicit kind equality	2015-03-30	Paper
Resource bound certification	2015-03-17	Paper
FPH	2015-03-16	Paper
Binders unbound	2015-03-05	Paper
Engineering formal metatheory	2014-09-12	Paper
Generative type abstraction and type-level computation	2014-04-10	Paper
Combining proofs and programs in a dependently typed language	2014-04-10	Paper
Closed type families with overlapping equations	2014-04-10	Paper
Contracts made manifest	2014-02-27	Paper
Nominal reasoning techniques in Coq (extended abstract)	2014-01-10	Paper
A design for type-directed programming in Java	2013-09-26	Paper
Generic Programming with Dependent Types	2012-11-21	Paper
Parametricity, type equality, and higher-order polymorphism	2010-05-26	Paper
Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism	2008-01-18	Paper
Type-safe run-time polytypic programming	2007-03-08	Paper
Practical type inference for arbitrary-rank types	2007-02-07	Paper
Theorem Proving in Higher Order Logics	2006-07-06	Paper
FUNCTIONAL PEARL Type-safe cast	2005-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4738349	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q2763693	2002-01-22	Paper
Intensional polymorphism in type-erasure semantics	2002-01-01	Paper

Research outcomes over time

This page was built for person: Stephanie Weirich