Sledovat
Jana Dunfield
Jana Dunfield
E-mailová adresa ověřena na: queensu.ca - Domovská stránka
Název
Citace
Citace
Rok
Beluga: A framework for programming and reasoning with deductive systems (system description)
B Pientka, J Dunfield
International Joint Conference on Automated Reasoning (IJCAR), 15-21, 2010
1712010
Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
J Dunfield, NR Krishnaswami
International Conference on Functional Programming (ICFP), 2013
1132013
Tridirectional typechecking
J Dunfield, F Pfenning
Principles of Programming Languages (POPL), 281-292, 2004
1062004
Programming with proofs and explicit contexts
B Pientka, J Dunfield
Principles and Practice of Declarative Programming (PPDP), 163-173, 2008
1032008
Type assignment for intersections and unions in call-by-value languages
J Dunfield, F Pfenning
Foundations of Software Science and Computation Structures (FoSSaCS), 250-266, 2003
852003
Elaborating intersection and union types
J Dunfield
International Conference on Functional Programming (ICFP), 2012
822012
Bidirectional Typing
J Dunfield, N Krishnaswami
Computing Surveys 54 (5), 2021
782021
A Unified System of Type Refinements
J Dunfield
Carnegie Mellon University, 2007
732007
Incremental computation with names
MA Hammer, J Dunfield, K Headley, N Labich, JS Foster, M Hicks, ...
Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015
612015
Type-directed automatic incrementalization
Y Chen, J Dunfield, UA Acar
Programming Language Design and Implementation (PLDI), 2012
582012
Refined typechecking with Stardust
J Dunfield
Programming Languages meets Program Verification (PLPV), 21-32, 2007
362007
Sums of uncertainty: refinements go gradual
KA Jafery, J Dunfield
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
352017
Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types
J Dunfield, NR Krishnaswami
Proceedings of the ACM on Programming Languages 3 (POPL), 9, 2019
312019
Implicit self-adjusting computation for purely functional programs
Y Chen, J Dunfield, MA Hammer, UA Acar
International Conference on Functional Programming (ICFP) 46 (9), 129-141, 2011
302011
Case analysis of higher-order data
J Dunfield, B Pientka
Electronic Notes in Theoretical Computer Science 228, 69-84, 2009
262009
Implicit self-adjusting computation for purely functional programs
Y Chen, J Dunfield, MA Hammer, UA Acar
Journal of Functional Programming 24 (1), 56-112, 2014
212014
Greedy bidirectional polymorphism
J Dunfield
ACM SIGPLAN Workshop on ML, 15-26, 2009
172009
Combining two forms of type refinements
J Dunfield
School of Computer Science, Carnegie Mellon, 2002
152002
Elaborating Evaluation-Order Polymorphism
J Dunfield
72015
Covering all bases: design and implementation of case analysis for contextual objects
B Pientka, J Dunfield
Technical report, McGill University, 2010
72010
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20