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
Dependent types and program equivalence	2015-06-11	Paper
Contracts made manifest	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
Combining proofs and programs in a dependently typed language	2014-04-10	Paper
Closed type families with overlapping equations	2014-04-10	Paper
Generative type abstraction and type-level computation	2014-04-10	Paper
Contracts made manifest	2014-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q2871861	2014-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q2848699	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stephanie Weirich