Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Ralf Bachmayer
marjory j johnson
Claudia Calabrese
Maria Concetta Palumbo
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Max L Ahnen
Radu Timofte
Kuanrui Yin
Home
/
Author
/
JULIAN MACKAY
Author Info
Open Visualization
Name
Affiliation
Papers
JULIAN MACKAY
Victoria Univ Wellington, Sch Engn & Comp Sci, Wellington, New Zealand
4
Collaborators
Citations
PageRank
7
13
1.73
Referers
Referees
References
22
36
14
Publications (4 rows)
Collaborators (7 rows)
Referers (22 rows)
Referees (36 rows)
Title
Citations
PageRank
Year
Syntactically Restricting Bounded Polymorphism for Decidable Subtyping.
0
0.34
2020
Decidable subtyping for path dependent types
0
0.34
2020
The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder Types.
8
0.57
2013
Encoding Featherweight Java with assignment and immutability using the Coq proof assistant
5
0.49
2012
1
