Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Standard ML-NJ Weak Polymorphism and Imperative Constructs.

J. Mitchell, und R. Viswanathan. Inf. Comput., 127 (2): 102-116 (1996)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

John Nixon University of Stuttgart

Isaac Henderson Johnson Jeyakumar University of Stuttgart

C. Traut

C. Honold

David John Cross University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Security Analysis and Improvements for IEEE 802.11i.C. He, und J. Mitchell. NDSS, The Internet Society, (2005)Client-Side Defense Against Web-Based Identity Theft.N. Chou, R. Ledesma, Y. Teraguchi, und J. Mitchell. NDSS, The Internet Society, (2004)Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112).P. Dillenbourg, A. Fox, C. Kirchner, J. Mitchell, und M. Wirsing. Dagstuhl Manifestos, 4 (1): 1-27 (2014)Securing Java RMI-Based Distributed Applications.N. Li, J. Mitchell, und D. Tong. ACSAC, Seite 262-271. IEEE Computer Society, (2004)Semantic Models for Second-Order Lambda CalculusJ. Mitchell. FOCS, Seite 289-299. IEEE Computer Society, (1984)Polymorphic Type Inference and ContainmentJ. Mitchell. Inf. Comput., 76 (2/3): 211-249 (Februar 1988)Using Strategy Objectives for Network Security Analysis.E. Bursztein, und J. Mitchell. Inscrypt, Volume 6151 von Lecture Notes in Computer Science, Seite 337-349. Springer, (2009)ML and Beyond.R. Harper, und J. Mitchell. ACM Comput. Surv., 28 (4es): 219 (1996)Games and the Impossibility of Realizable Ideal Functionality.A. Datta, A. Derek, J. Mitchell, A. Ramanathan, und A. Scedrov. IACR Cryptology ePrint Archive, (2005)A Domain-Specific Language for Computing on Encrypted Data.A. Bain, J. Mitchell, R. Sharma, D. Stefan, und J. Zimmerman. IACR Cryptology ePrint Archive, (2011)