Concepedia

Julian Mackay

JM

Statistics

Publications

4

Citations

91

H-Index

4

Active since

2002

Affiliations

Victoria University of Wellington(Current)

Julian Mackay is an author at Victoria University of Wellington specializing in type systems, type checking, and computing.

ORCID

Publications per year

2002–2019

4

Publications

4

Extracorporeal photochemotherapy – the Columbia Presbyterian experience

Elizabeth Knobler, Ingrid Warmuth, Carolyn A. Cocco et al. · Photodermatology Photoimmunology & Photomedicine · 2002 · 35 citations

, , +13

Encoding Featherweight Java with assignment and immutability using the Coq proof assistant

Julian Mackay, Hannes Mehnert, Alex Potanin et al. · 2012 · 25 citations

, , +9

The Billion-Dollar Fix Safe Modular Circular Initialisation with Placeholders and Placeholder Types

Marco Servetto, Julian Mackay, Alex Potanin et al. · 2013 · 18 citations

, , +10

Decidable subtyping for path dependent types

Julian Mackay, Alex Potanin, Jonathan Aldrich et al. · Proceedings of the ACM on Programming Languages · 2019 · 13 citations · Full text

, , +12

1–4 of 4