Fast and precise type checking for JavaScript von Chaudhuri, Avik, Vekris, Panagiotis, Goldman, Sam, Roch, Marshall, Levi, Gabriel

Volltext

Safe & Efficient Gradual Typing for TypeScript von Rastogi, Aseem, Swamy, Nikhil, Fournet, Cédric, Bierman, Gavin, Vekris, Panagiotis

Volltext

Refinement types for TypeScript von Vekris, Panagiotis, Cosman, Benjamin, Jhala, Ranjit

Volltext

Refinement Types for TypeScript von Vekris, Panagiotis, Cosman, Benjamin, Jhala, Ranjit

Volltext bestellen

Fast and Precise Type Checking for JavaScript von Chaudhuri, Avik, Vekris, Panagiotis, Goldman, Sam, Roch, Marshall, Levi, Gabriel

Volltext bestellen

Trust, but Verify: Two-Phase Typing for Dynamic Languages von Vekris, Panagiotis, Cosman, Benjamin, Jhala, Ranjit

Volltext bestellen

Refinement Types for TypeScript von Vekris, Panagiotis, Cosman, Benjamin, Jhala, Ranjit

Volltext

Fast and Precise Type Checking for JavaScript von Chaudhuri, Avik, Vekris, Panagiotis, Goldman, Sam, Marshall, Roch, Levi, Gabriel

Volltext

Trust, but Verify: Two-Phase Typing for Dynamic Languages von Vekris, Panagiotis, Cosman, Benjamin, Jhala, Ranjit

Volltext

Long-term results of various therapy concepts in severe pilon fractures von Koulouvaris, Panagiotis, Stafylas, Kosmas, Mitsionis, Gregory, Vekris, Marios, Mavrodontidis, Alexandros, Xenakis, Theodore

Volltext

Second Shoulder and Elbow Reanimation Procedures in Late Obstetrical Paralysis Patients von Vekris, Marios D, Kostas, John, Soucacos, Panagiotis N

Volltext

Second Shoulder and Elbow Reanimation Procedures in Late Obstetrical Paralysis Patients von Vekris, Marios D, Kostas, John, Soucacos, Panagiotis N

Volltext