المؤلفون: Noble, James, Mackay, Julian, Wrigstad, Tobias, Professor, 1976, Fawcet, Andrew, Homer, Michael

المصدر: FTfJP 2024. :37-43

مصطلحات موضوعية: Computer Science, Datavetenskap

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-538497
https://doi.org/10.1145/3678721.3686228

المؤلفون: Mackay, Julian, Drossopoulou, Sophia, Noble, James, Eisenbach, Susan

مصطلحات موضوعية: Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2209.08205

المؤلفون: Noble, James, Mackay, Julian, Wrigstad, Tobias

مصطلحات موضوعية: Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2205.00795

المؤلفون: Drossopoulou, Sophia, Noble, James, Mackay, Julian, Eisenbach, Susan

مصطلحات موضوعية: Computer Science - Programming Languages, 68, 68N19, 68Q60, 68Q65

URL الوصول: http://arxiv.org/abs/2002.08334

المؤلفون: Mackay, Julian, Drossopoulou, Sophia, Noble, James, Eisenbach, Susan

Relation: https://doi.org/10.5281/zenodo.7087931; https://doi.org/10.5281/zenodo.7087932; oai:zenodo.org:7087932

الاتاحة: https://doi.org/10.5281/zenodo.7087932

المؤلفون: Mackay, Julian, Potanin, Alex, Aldrich, Jonathan, Groves, Lindsay

المساهمون: Oracle Labs Australia, US Department of Defense

المصدر: Proceedings of the ACM on Programming Languages ; volume 4, issue POPL, page 1-27 ; ISSN 2475-1421

الاتاحة: http://dx.doi.org/10.1145/3371134
https://dl.acm.org/doi/pdf/10.1145/3371134

المؤلفون: Mackay, Julian, Potanin, Alex, Aldrich, Jonathan, Groves, Lindsay

المصدر: Programming Languages and Systems ; Lecture Notes in Computer Science ; page 125-144 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030644369 9783030644376

الاتاحة: http://dx.doi.org/10.1007/978-3-030-64437-6_7
https://link.springer.com/content/pdf/10.1007/978-3-030-64437-6_7

المؤلفون: Drossopoulou, Sophia, Noble, James, Mackay, Julian, Eisenbach, Susan

مصطلحات موضوعية: Programming Languages, Software Verification, Programming Language Semantics

Relation: https://doi.org/10.5281/zenodo.3677620; https://doi.org/10.5281/zenodo.3677621; oai:zenodo.org:3677621

الاتاحة: https://doi.org/10.5281/zenodo.3677621

المؤلفون: Mackay, Julian

المساهمون: Potanin, Alex, Groves, Lindsay, Aldrich, Jonathan

مصطلحات موضوعية: Programming Languages, Formal Logics, Semantics, Functional Programming Languages, Object oriented Programming Languages

Relation: http://researcharchive.vuw.ac.nz/handle/10063/9081

الاتاحة: http://researcharchive.vuw.ac.nz/handle/10063/9081

المؤلفون: Mackay, Julian, Potanin, Alex, Groves, Lindsay, Aldrich, Jonathan

مصطلحات موضوعية: Programming Languages, Proofs, Type Theory, Type Systems, Formal Methods, Functional Programming Languages, Object Oriented Lanaguages, Wyvern, Scala

Relation: https://doi.org/10.5281/zenodo.3572538; https://doi.org/10.5281/zenodo.3572539; oai:zenodo.org:3572539

الاتاحة: https://doi.org/10.5281/zenodo.3572539

المؤلفون: Servetto, Marco, Mackay, Julian, Potanin, Alex, Noble, James

المصدر: ECOOP 2013 – Object-Oriented Programming ; Lecture Notes in Computer Science ; page 205-229 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642390371 9783642390388

الاتاحة: http://dx.doi.org/10.1007/978-3-642-39038-8_9
http://link.springer.com/content/pdf/10.1007/978-3-642-39038-8_9

المؤلفون: Mackay, Julian, Mehnert, Hannes, Potanin, Alex, Groves, Lindsay, Cameron, Nicholas

المصدر: Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs

الاتاحة: http://dx.doi.org/10.1145/2318202.2318206
https://dl.acm.org/doi/pdf/10.1145/2318202.2318206

المؤلفون: Knobler, Elizabeth, Warmuth, Ingrid, Cocco, Carolyn, Miller, Barbara, Mackay, Julian

المصدر: Photodermatology, Photoimmunology & Photomedicine ; volume 18, issue 5, page 232-237 ; ISSN 0905-4383 1600-0781

الاتاحة: http://dx.doi.org/10.1034/j.1600-0781.2002.02762.x
https://api.wiley.com/onlinelibrary/tdm/v1/articles/10.1034%2Fj.1600-0781.2002.02762.x
https://onlinelibrary.wiley.com/doi/pdf/10.1034/j.1600-0781.2002.02762.x

المؤلفون: Potanin, Alex, Groves, Lindsay, Mackay, Julian

مصطلحات الفهرس: Programming languages, Formal systems, Java, Text, Master's

URL: http://restrictedarchive.vuw.ac.nz/handle/123456789/8627
http://hdl.handle.net/10063/8682

المؤلفون: Mackay, Julian

المساهمون: Potanin, Alex, Groves, Lindsay

مصطلحات موضوعية: Programming languages, Formal systems, Java

Relation: http://researcharchive.vuw.ac.nz/handle/10063/8682; http://restrictedarchive.vuw.ac.nz/handle/123456789/8627

الاتاحة: http://researcharchive.vuw.ac.nz/handle/10063/8682
http://restrictedarchive.vuw.ac.nz/handle/123456789/8627