Follow
Brigitte Pientka
Title
Cited by
Cited by
Year
Contextual modal type theory
A Nanevski, F Pfenning, B Pientka
ACM Transactions on Computational Logic 9 (3), 1-49, 2008
3512008
Copatterns: Programming infinite structures by observations
A Abel, B Pientka, D Thibodeau, A Setzer
ACM SIGPLAN Notices 48 (1), 27-38, 2013
1742013
Beluga: A framework for programming and reasoning with deductive systems (system description)
B Pientka, J Dunfield
Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010
1722010
A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions
B Pientka
ACM SIGPLAN Notices 43 (1), 371-382, 2008
1642008
Wellfounded recursion with copatterns: A unified approach to termination and productivity
AM Abel, B Pientka
ACM SIGPLAN Notices 48 (9), 185-196, 2013
1122013
Fair reactive programming
A Cave, F Ferreira, P Panangaden, B Pientka
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
101*2014
Programming with proofs and explicit contexts
B Pientka, J Dunfield
Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008
1012008
Programming with binders and indexed data-types
A Cave, B Pientka
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
692012
Well-founded recursion with copatterns and sized types
A Abel, B Pientka
Journal of Functional Programming 26, e2, 2016
632016
Higher-order dynamic pattern unification for dependent types and records
A Abel, B Pientka
Typed Lambda Calculi and Applications: 10th International Conference, TLCA …, 2011
542011
Inductive beluga: Programming proofs
B Pientka, A Cave
Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015
492015
POPLMark reloaded: Mechanizing proofs by logical relations
A Abel, G Allais, A Hameer, B Pientka, A Momigliano, S Schäfer, K Stark
Journal of Functional Programming 29, e19, 2019
48*2019
Optimizing higher-order pattern unification
B Pientka, F Pfenning
International Conference on Automated Deduction, 473-487, 2003
432003
The next 700 challenge problems for reasoning with higher-order abstract syntax representations: Part 2—a survey
AP Felty, A Momigliano, B Pientka
Journal of Automated Reasoning 55, 307-372, 2015
422015
Beluga: Programming with dependent types, contextual data, and contexts
B Pientka
International Symposium on Functional and Logic Programming, 1-12, 2010
382010
Tabled higher-order logic programming
B Pientka
Carnegie Mellon University, 2003
372003
First-class substitutions in contextual type theory
A Cave, B Pientka
Proceedings of the Eighth ACM SIGPLAN international workshop on Logical …, 2013
332013
An insider’s look at LF type reconstruction: Everything you (n) ever wanted to know
B Pientka
312010
Well-founded recursion over contextual objects
B Pientka, A Abel
13th International Conference on Typed Lambda Calculi and Applications (TLCA …, 2015
28*2015
Mechanizing proofs with logical relations–Kripke-style
A Cave, B Pientka
Mathematical structures in computer science 28 (9), 1606-1638, 2018
27*2018
The system can't perform the operation now. Try again later.
Articles 1–20