Stephanie Weirich

From MaRDI portal
Person:2763692

Available identifiers

zbMath Open weirich.stephanieDBLPw/StephanieWeirichWikidataQ57268372 ScholiaQ57268372MaRDI QIDQ2763692

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q60792362023-10-27Paper
A dependent dependency calculus2023-08-03Paper
Ready,Set, Verify! Applyinghs-to-coqto real-world Haskell code2021-12-22Paper
https://portal.mardi4nfdi.de/entity/Q58547262021-03-17Paper
https://portal.mardi4nfdi.de/entity/Q58547312021-03-17Paper
Intensional polymorphism in type-erasure semantics2019-09-26Paper
Safe zero-cost coercions for Haskell2017-10-23Paper
Intensional polymorphism in type-erasure semantics2017-08-21Paper
Safe zero-cost coercions for Haskell2016-09-29Paper
Programming up to congruence2016-09-29Paper
Flexible type analysis2016-09-01Paper
A Reflection on Types2016-08-17Paper
Visible Type Application2016-04-26Paper
Type-safe cast2015-09-11Paper
Boxy types2015-08-03Paper
Free Theorems and Runtime Type Representations2015-07-10Paper
Boxes go bananas2015-07-02Paper
Contracts made manifest2015-06-11Paper
Dependent types and program equivalence2015-06-11Paper
System FC with explicit kind equality2015-03-30Paper
Resource bound certification2015-03-17Paper
FPH2015-03-16Paper
Binders unbound2015-03-05Paper
Engineering formal metatheory2014-09-12Paper
Generative type abstraction and type-level computation2014-04-10Paper
Combining proofs and programs in a dependently typed language2014-04-10Paper
Closed type families with overlapping equations2014-04-10Paper
Contracts made manifest2014-02-27Paper
Nominal reasoning techniques in Coq (extended abstract)2014-01-10Paper
A design for type-directed programming in Java2013-09-26Paper
Generic Programming with Dependent Types2012-11-21Paper
Parametricity, type equality, and higher-order polymorphism2010-05-26Paper
Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism2008-01-18Paper
Type-safe run-time polytypic programming2007-03-08Paper
Practical type inference for arbitrary-rank types2007-02-07Paper
Theorem Proving in Higher Order Logics2006-07-06Paper
FUNCTIONAL PEARL Type-safe cast2005-03-21Paper
https://portal.mardi4nfdi.de/entity/Q47383492004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q27636932002-01-22Paper
Intensional polymorphism in type-erasure semantics2002-01-01Paper

Research outcomes over time

This page was built for person: Stephanie Weirich