Folgen
Dimitrios Vytiniotis
Dimitrios Vytiniotis
DeepMind
Bestätigte E-Mail-Adresse bei google.com
Titel
Zitiert von
Zitiert von
Jahr
Simple unification-based type inference for GADTs
S Peyton Jones, D Vytiniotis, S Weirich, G Washburn
ACM SIGPLAN Notices 41 (9), 50-61, 2006
4392006
Measuring neural net robustness with constraints
O Bastani, Y Ioannou, L Lampropoulos, D Vytiniotis, A Nori, A Criminisi
Advances in neural information processing systems 29, 2016
4232016
Mechanized Metatheory for the Masses: The PoplMark Challenge
BE Aydemir, A Bohannon, M Fairbairn, JN Foster, BC Pierce, P Sewell, ...
Theorem Proving in Higher Order Logics: 18th International Conference …, 2005
3992005
Refinement types for Haskell
N Vazou, EL Seidel, R Jhala, D Vytiniotis, S Peyton-Jones
Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014
2932014
Practical type inference for arbitrary-rank types
SP Jones, D Vytiniotis, S Weirich, M Shields
Journal of functional programming 17 (1), 1-82, 2007
2362007
Giving Haskell a promotion
BA Yorgey, S Weirich, J Cretin, S Peyton Jones, D Vytiniotis, ...
Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and …, 2012
2282012
OutsideIn (X) Modular type inference with local assumptions
D Vytiniotis, SP Jones, T Schrijvers, M Sulzmann
Journal of functional programming 21 (4-5), 333-412, 2011
1532011
Complete and decidable type inference for GADTs
T Schrijvers, S Peyton Jones, M Sulzmann, D Vytiniotis
ACM Sigplan Notices 44 (9), 341-352, 2009
1392009
Broom: Sweeping out garbage collection from big data systems
I Gog, J Giceva, M Schwarzkopf, K Vaswani, D Vytiniotis, G Ramalingam, ...
15th Workshop on Hot Topics in Operating Systems (HotOS {XV}), 2015
1182015
Closed type families with overlapping equations
RA Eisenberg, D Vytiniotis, S Peyton Jones, S Weirich
ACM SIGPLAN Notices 49 (1), 671-683, 2014
952014
HLIO: Mixing static and dynamic typing for information-flow control in Haskell
P Buiras, D Vytiniotis, A Russo
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
892015
Boxy types: inference for higher-rank types and impredicativity
D Vytiniotis, S Weirich, S Peyton Jones
Proceedings of the eleventh ACM SIGPLAN international conference on …, 2006
822006
HALO: Haskell to logic through denotational semantics
D Vytiniotis, S Peyton Jones, K Claessen, D Rosén
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013
782013
Testing noninterference, quickly
C Hritcu, J Hughes, BC Pierce, A Spector-Zabusky, D Vytiniotis, ...
ACM SIGPLAN Notices 48 (9), 455-468, 2013
73*2013
FPH: First-class polymorphism for Haskell
D Vytiniotis, S Weirich, S Peyton Jones
ACM Sigplan Notices 43 (9), 295-306, 2008
562008
Equality proofs and deferred type errors: A compiler pearl
D Vytiniotis, S Peyton Jones, JP Magalhães
ACM SIGPLAN Notices 47 (9), 341-352, 2012
502012
Generative type abstraction and type-level computation
S Weirich, D Vytiniotis, S Peyton Jones, S Zdancewic
ACM SIGPLAN Notices 46 (1), 227-240, 2011
502011
Efficient differentiable programming in a functional array-processing language
A Shaikhha, A Fitzgibbon, D Vytiniotis, S Peyton Jones
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-30, 2019
482019
Diagnosing type errors with class
D Zhang, AC Myers, D Vytiniotis, S Peyton-Jones
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
482015
AMPNet: Asynchronous model-parallel training for dynamic neural networks
AL Gaunt, MA Johnson, M Riechert, D Tarlow, R Tomioka, D Vytiniotis, ...
arXiv preprint arXiv:1705.09786, 2017
472017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20