Travelled to:1 × France
Collaborated with:A.Potanin M.Servetto J.Noble J.Aldrich L.Groves
Talks about:placehold (2) type (2) initialis (1) circular (1) modular (1) billion (1) subtyp (1) dollar (1) depend (1) decid (1)
Person: Julian Mackay
DBLP: Mackay:Julian
Contributed to:
2013
2020Wrote 2 papers:
- ECOOP-2013-ServettoMPN #composition
- The Billion-Dollar Fix — Safe Modular Circular Initialisation with Placeholders and Placeholder Types (MS, JM, AP, JN), pp. 205–229.
- POPL-2020-MackayPAG #decidability #dependent type #type system
- Decidable subtyping for path dependent types (JM, AP, JA, LG), p. 27.