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
3062008
Beluga: A framework for programming and reasoning with deductive systems (system description)
B Pientka, J Dunfield
International Joint Conference on Automated Reasoning, 15-21, 2010
1492010
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
1482008
Copatterns: Programming infinite structures by observations
A Abel, B Pientka, D Thibodeau, A Setzer
ACM SIGPLAN Notices 48 (1), 27-38, 2013
1472013
Wellfounded recursion with copatterns: A unified approach to termination and productivity
AM Abel, B Pientka
ACM SIGPLAN Notices 48 (9), 185-196, 2013
1002013
Programming with proofs and explicit contexts
B Pientka, J Dunfield
Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008
902008
Fair reactive programming
A Cave, F Ferreira, P Panangaden, B Pientka
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
85*2014
Programming with binders and indexed data-types
A Cave, B Pientka
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
602012
Higher-order dynamic pattern unification for dependent types and records
A Abel, B Pientka
International Conference on Typed Lambda Calculi and Applications, 10-26, 2011
452011
Well-founded recursion with copatterns and sized types
A Abel, B Pientka
Journal of Functional Programming 26, 2016
432016
Optimizing higher-order pattern unification
B Pientka, F Pfenning
International Conference on Automated Deduction, 473-487, 2003
422003
Inductive beluga: Programming proofs
B Pientka, A Cave
International Conference on Automated Deduction, 272-281, 2015
402015
Tabled higher-order logic programming
B Pientka
Carnegie Mellon University, 2003
332003
The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations
AP Felty, A Momigliano, B Pientka
Journal of Automated Reasoning 55 (4), 307-372, 2015
302015
Beluga: Programming with dependent types, contextual data, and contexts
B Pientka
International Symposium on Functional and Logic Programming, 1-12, 2010
302010
An insider’s look at LF type reconstruction: Everything you (n) ever wanted to know
B Pientka
282010
First-class substitutions in contextual type theory
A Cave, B Pientka
Proceedings of the Eighth ACM SIGPLAN international workshop on Logical …, 2013
262013
Reasoning with higher-order abstract syntax and contexts: A comparison
A Felty, B Pientka
International Conference on Interactive Theorem Proving, 227-242, 2010
252010
Case analysis of higher-order data
J Dunfield, B Pientka
Electronic Notes in Theoretical Computer Science 228, 69-84, 2009
252009
Termination and reduction checking in the logical framework
B Pientka, F Pfenning
Carnegie Mellon University, 2000
242000
The system can't perform the operation now. Try again later.
Articles 1–20