B. Pientka
发表
B. Pientka,
2012
.
Brigitte Pientka,
Andreas Abel,
Andreas Abel,
2016,
Journal of Functional Programming.
B. Pientka,
Samuli Heilala,
2008
.
P. Panangaden,
B. Pientka,
Andrew Cave,
2013
.
Christoph Kreitz,
Brigitte Pientka,
C. Kreitz,
1998
.
Jason Z. S. Hu,
B. Pientka,
Ulrich Schöpp,
2022,
ArXiv.
G. Smolka,
B. Pientka,
Jonas Kaiser,
2017
.
Andreas Abel,
B. Pientka,
2018
.
B. Pientka,
Jana Dunfield,
2008
.
S. Ruan,
Andreas Abel,
B. Pientka,
2014
.
B. Pientka,
Jana Dunfield,
2008
.
Jason Z. S. Hu,
B. Pientka,
2022
.
B. Pientka,
2003,
ICLP.
X. Si,
B. Pientka,
Yingjie Xu,
2023,
SIGCSE.
X. Si,
B. Pientka,
Chuqin Geng,
2023,
ArXiv.
Brigitte Pientka,
Aliya Hameer,
B. Pientka,
2019,
Proc. ACM Program. Lang..
Brigitte Pientka,
Samuli Heilala,
B. Pientka,
2007,
CADE.
Brigitte Pientka,
Francisco Ferreira,
B. Pientka,
2014,
PPDP '14.
Christoph Kreitz,
Brigitte Pientka,
C. Kreitz,
2001,
Stud Logica.
Christoph Kreitz,
Brigitte Pientka,
C. Kreitz,
2000,
TABLEAUX.
Christoph Kreitz,
Jens Otten,
Brigitte Pientka,
2000,
Intellectics and Computational Logic.
Brigitte Pientka,
Andreas Abel,
Andreas Abel,
2013,
ICFP.
Xujie Si,
Brigitte Pientka,
Alana Ceci,
2021,
SIGCSE.
Frank Pfenning,
Brigitte Pientka,
Aleksandar Nanevski,
2008,
TOCL.
Brigitte Pientka,
Andreas Abel,
Anton Setzer,
2013,
POPL.
Brigitte Pientka,
B. Pientka,
2014
.
Prakash Panangaden,
Brigitte Pientka,
Andrew Cave,
2014,
POPL.
Alberto Momigliano,
Brigitte Pientka,
Andreas Abel,
2019,
Journal of Functional Programming.
Alberto Momigliano,
Brigitte Pientka,
David Thibodeau,
2018,
Mathematical Structures in Computer Science.
Karl Crary,
Brigitte Pientka,
Susmit Sarkar,
2005,
ICLP.
Xi Li,
Brigitte Pientka,
Florent Pompigne,
2007,
LFMTP@CADE.
Brigitte Pientka,
Andreas Abel,
Andreas Abel,
2011,
TLCA.
Brigitte Pientka,
Joshua Dunfield,
B. Pientka,
2010,
IJCAR.
Brigitte Pientka,
Andreas Abel,
Andreas Abel,
2010,
LFMTP.
Brigitte Pientka,
B. Pientka,
2009,
TOCL.
Frank Pfenning,
Brigitte Pientka,
Aleksandar Nanevski,
2003,
MERLIN '03.
Brigitte Pientka,
B. Pientka,
2013,
J. Funct. Program..
Brigitte Pientka,
Stefan Monnier,
Francisco Ferreira,
2013,
PLPV.
Brigitte Pientka,
B. Pientka,
2010,
FLOPS.
Brigitte Pientka,
B. Pientka,
2006,
IJCAR.
Frank Pfenning,
Brigitte Pientka,
F. Pfenning,
2003,
CADE.
Frank Pfenning,
Brigitte Pientka,
F. Pfenning,
2003
.
Jason Z. S. Hu,
B. Pientka,
Junyoung Jang,
2023,
Journal of Functional Programming.
Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself
pdf
Brigitte Pientka,
Stefan Monnier,
Junyoung Jang,
2021,
Proc. ACM Program. Lang..
Brigitte Pientka,
B. Pientka,
2020,
LICS.
Ulrich Schöpp,
Brigitte Pientka,
B. Pientka,
2020,
FoSSaCS.
Brigitte Pientka,
Francisco Ferreira,
B. Pientka,
2017,
ESOP.
Brigitte Pientka,
Mathieu Boespflug,
B. Pientka,
2011,
LFMTP.