المؤلفون: Joshua Dunfield

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 121, Iss Proc. ITRS 2012, Pp 35-47 (2013)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1307.8204v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/3a17b37063674be19574857b63aed731

المؤلفون: Joshua Dunfield

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 45, Iss Proc. ITRS 2010, Pp 59-70 (2011)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1101.4428v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/46d5cce111524b4188cf886fcf2813a1

المؤلفون: Joshua Dunfield, Frank Pfenning

مصطلحات موضوعية: Information and Computing Sciences not elsewhere classified, computer sciences

Relation: https://figshare.com/articles/Type_Assignment_for_Intersections_and_Unions_in_Call-by-Value_Languages/6611168

الاتاحة: https://doi.org/10.1184/r1/6611168.v1
https://figshare.com/articles/Type_Assignment_for_Intersections_and_Unions_in_Call-by-Value_Languages/6611168

المؤلفون: Yan Chen, Joshua Dunfield, Matthew A. Hammer

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: https://www.cs.umd.edu/~hammer/jfp2014/Chen14_implicit_SAC.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.432.9457

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.432.9457

المؤلفون: Joshua Dunfield, Neelakantan R. Krishnaswami, A Declarative Subtyping

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.mpi-sws.org/~neelk/bidir-proofs.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.8496; http://www.mpi-sws.org/~neelk/bidir-proofs.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.8496
http://www.mpi-sws.org/~neelk/bidir-proofs.pdf

المؤلفون: Joshua Dunfield, Yan Chen, Umut A. Acar, Matthew A. Hammer

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.mpi-sws.org/~joshua/Dunfield_cv.pdf.

مصطلحات موضوعية: Submitted

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.3533; http://www.mpi-sws.org/~joshua/Dunfield_cv.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.3533
http://www.mpi-sws.org/~joshua/Dunfield_cv.pdf

المؤلفون: Yan Chen, Joshua Dunfield, Matthew A. Hammer, Umut A. Acar

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.mpi-sws.org/~chenyan/papers/implicitSAC.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.369.7663; http://www.mpi-sws.org/~chenyan/papers/implicitSAC.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.369.7663
http://www.mpi-sws.org/~chenyan/papers/implicitSAC.pdf

المؤلفون: Brigitte Pientka, Joshua Dunfield

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.cmu.edu/%7Ejoshuad/papers/beluga-system/Pientka10_Beluga.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.3950; http://www.cs.cmu.edu/%7Ejoshuad/papers/beluga-system/Pientka10_Beluga.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.3950
http://www.cs.cmu.edu/%7Ejoshuad/papers/beluga-system/Pientka10_Beluga.pdf

المؤلفون: Joshua Dunfield

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.cmu.edu/%7Ejoshuad/papers/poly/Dunfield09_Bidirectional_polymorphism.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.9501; http://www.cs.cmu.edu/%7Ejoshuad/papers/poly/Dunfield09_Bidirectional_polymorphism.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.9501
http://www.cs.cmu.edu/%7Ejoshuad/papers/poly/Dunfield09_Bidirectional_polymorphism.pdf

المؤلفون: Brigitte Pientka, Joshua Dunfield

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.cmu.edu/%7Ejoshuad/papers/dependent-hoas/Pientka08_dependent-hoas.pdf.

مصطلحات موضوعية: Theory, Languages Type theory, Dependent types, Logical frameworks

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.2239; http://www.cs.cmu.edu/%7Ejoshuad/papers/dependent-hoas/Pientka08_dependent-hoas.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.2239
http://www.cs.cmu.edu/%7Ejoshuad/papers/dependent-hoas/Pientka08_dependent-hoas.pdf

المؤلفون: Joshua Dunfield, Brigitte Pientka

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.mcgill.ca/~complogic/beluga/lfmtp08/Dunfield08_case-analysis-hoas.pdf.

مصطلحات موضوعية: higher-order abstract syntax, coverage checking

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.163.2866; http://www.cs.mcgill.ca/~complogic/beluga/lfmtp08/Dunfield08_case-analysis-hoas.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.163.2866
http://www.cs.mcgill.ca/~complogic/beluga/lfmtp08/Dunfield08_case-analysis-hoas.pdf

المؤلفون: Joshua Dunfield, Frank Pfenning Tridirectional Typechecking

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.mcgill.ca/%7Ejoshua/cv.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.190.9255; http://www.cs.mcgill.ca/%7Ejoshua/cv.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.190.9255
http://www.cs.mcgill.ca/%7Ejoshua/cv.pdf

المؤلفون: Joshua Dunfield

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.cmu.edu/~joshuad/Dunfield07_PLPV_2007-07-25.pdf.

مصطلحات موضوعية: Verification General Terms languages, verification

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.155.101; http://www.cs.cmu.edu/~joshuad/Dunfield07_PLPV_2007-07-25.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.155.101
http://www.cs.cmu.edu/~joshuad/Dunfield07_PLPV_2007-07-25.pdf

المؤلفون: Joshua Dunfield, Jonathan Aldrich, Robert Harper

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://web.cs.cmu.edu/~joshuad/papers/thesis/Dunfield07_Type_Refinements_thesis.pdf.

مصطلحات موضوعية: type refinements, intersection types, union types, datasort refinements, index refinements

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.59; http://web.cs.cmu.edu/~joshuad/papers/thesis/Dunfield07_Type_Refinements_thesis.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.59
http://web.cs.cmu.edu/~joshuad/papers/thesis/Dunfield07_Type_Refinements_thesis.pdf

المؤلفون: Joshua Dunfield, Frank Pfenning

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www-2.cs.cmu.edu/~fp/papers/CMU-CS-04-117.ps.

مصطلحات موضوعية: Type systems, intersection types, union types, type refinements, bidirectional typechecking, datasort refinements, index refinements

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.8800; http://www-2.cs.cmu.edu/~fp/papers/CMU-CS-04-117.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.8800
http://www-2.cs.cmu.edu/~fp/papers/CMU-CS-04-117.ps

المؤلفون: Joshua Dunfield, Frank Pfenning

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://gs146.sp.cs.cmu.edu:8080/joshuad/papers/tridirectional-typechecking/./union-assignment/Dunfield_union-assignment.ps.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.9673; http://gs146.sp.cs.cmu.edu:8080/joshuad/papers/tridirectional-typechecking/./union-assignment/Dunfield_union-assignment.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.9673
http://gs146.sp.cs.cmu.edu:8080/joshuad/papers/tridirectional-typechecking/./union-assignment/Dunfield_union-assignment.ps

المؤلفون: Joshua Dunfield

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.cmu.edu/~joshuad/papers/thesis-proposal/Dunfield_proposal.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.269; http://www.cs.cmu.edu/~joshuad/papers/thesis-proposal/Dunfield_proposal.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.269
http://www.cs.cmu.edu/~joshuad/papers/thesis-proposal/Dunfield_proposal.pdf

المؤلفون: Joshua Dunfield, Aleksey Kliger

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.cmu.edu/~joshuad/compilers/report.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.932; http://www.cs.cmu.edu/~joshuad/compilers/report.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.932
http://www.cs.cmu.edu/~joshuad/compilers/report.pdf

المؤلفون: Joshua Dunfield

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.cmu.edu/~joshuad/papers/combining/Dunfield02_combining.pdf.

مصطلحات موضوعية: Type refinements, datasort refinements, index refinements, refinement types, dependent

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.2297; http://www.cs.cmu.edu/~joshuad/papers/combining/Dunfield02_combining.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.2297
http://www.cs.cmu.edu/~joshuad/papers/combining/Dunfield02_combining.pdf

المؤلفون: Joshua Dunfield

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.mpi-sws.org/%7Ejoshua/Dunfield_cv.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.228.483; http://www.mpi-sws.org/%7Ejoshua/Dunfield_cv.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.228.483
http://www.mpi-sws.org/%7Ejoshua/Dunfield_cv.pdf