Stephanie Weirich
From MaRDI portal
Person:2763692
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| \(\eta\)-equivalence in core dependent Haskell | 2023-10-27 | Paper |
| A dependent dependency calculus Programming Languages and Systems | 2023-08-03 | Paper |
| Ready, set, verify! Applying hs-to-coq to real-world Haskell code Journal of Functional Programming | 2021-12-22 | Paper |
| scientific article; zbMATH DE number 7324347 (Why is no real title available?) | 2021-03-17 | Paper |
| Irrelevance, heterogeneous equality, and call-by-value dependent type systems | 2021-03-17 | Paper |
| Intensional polymorphism in type-erasure semantics Proceedings of the third ACM SIGPLAN international conference on Functional programming | 2019-09-26 | Paper |
| Safe zero-cost coercions for Haskell Journal of Functional Programming | 2017-10-23 | Paper |
| Intensional polymorphism in type-erasure semantics Proceedings of the third ACM SIGPLAN international conference on Functional programming | 2017-08-21 | Paper |
| Safe zero-cost coercions for Haskell Proceedings of the 19th ACM SIGPLAN international conference on Functional programming | 2016-09-29 | Paper |
| Programming up to congruence Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
| Flexible type analysis Proceedings of the fourth ACM SIGPLAN international conference on Functional programming | 2016-09-01 | Paper |
| A reflection on types A List of Successes That Can Change the World | 2016-08-17 | Paper |
| Visible type application Programming Languages and Systems | 2016-04-26 | Paper |
| Type-safe cast (functional pearl) Proceedings of the fifth ACM SIGPLAN international conference on Functional programming | 2015-09-11 | Paper |
| Boxy types, inference for higher-rank types and impredicativity Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming | 2015-08-03 | Paper |
| Free theorems and runtime type representations Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
| Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism Proceedings of the eighth ACM SIGPLAN international conference on Functional programming | 2015-07-02 | Paper |
| Contracts made manifest Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
| Dependent types and program equivalence Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
| System FC with explicit kind equality Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| Resource bound certification Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
| FPH: first-class polymorphism for Haskell Proceedings of the 13th ACM SIGPLAN international conference on Functional programming | 2015-03-16 | Paper |
| Binders unbound Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Engineering formal metatheory Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
| Generative type abstraction and type-level computation Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| Combining proofs and programs in a dependently typed language Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| Closed type families with overlapping equations Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| Contracts made manifest Journal of Functional Programming | 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 Lecture Notes in Computer Science | 2012-11-21 | Paper |
| Parametricity, type equality, and higher-order polymorphism Journal of Functional Programming | 2010-05-26 | Paper |
| Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism Journal of Functional Programming | 2008-01-18 | Paper |
| Type-safe run-time polytypic programming Journal of Functional Programming | 2007-03-08 | Paper |
| Practical type inference for arbitrary-rank types Journal of Functional Programming | 2007-02-07 | Paper |
| Theorem Proving in Higher Order Logics Lecture Notes in Computer Science | 2006-07-06 | Paper |
| FUNCTIONAL PEARL Type-safe cast Journal of Functional Programming | 2005-03-21 | Paper |
| scientific article; zbMATH DE number 2087540 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1693038 (Why is no real title available?) | 2002-01-22 | Paper |
| Intensional polymorphism in type-erasure semantics Journal of Functional Programming | 2002-01-01 | Paper |
Research outcomes over time
This page was built for person: Stephanie Weirich
