( en | de | ru )

 

Disambiguierung von "Wadler, Philip"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Propositions as types

. Communications of the ACM, 58 (12): 75--84 (23.11.2015)
DOI: 10.1145/2699407

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.

Philip Eckardt

Experimentelle Isolierung und Charakterisierung eines lockwirksamen Stoffes der Süßwasserschnecke Biomphalaria glabrata für den Zwischenwirtsfindungsprozess von Schistosoma-mansoni-Mirazidien. TU München, (2009)

Philip Wolf

Philip Olaolu

Philip Osofisan

Philip Sztulman

 

Weitere Publikationen von Autoren mit dem selben Namen

The essence of XML, und . POPL '03: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 38, Seite 1--13. New York, NY, USA, ACM Press, (Januar 2003)Imperative functional programming, und . Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Seite 71--84. Charleston, South Carolina, United States, ACM Press, (1993)Java Generics and Collections, und . O'Reilly Media, Inc., (Oktober 2006)How to Make ad-hoc Polymorphism Less ad-hoc., und . POPL, Seite 60-76. ACM Press, (1989)The Girard-Reynolds Isomorphism.. TACS, Volume 2215 von Lecture Notes in Computer Science, Seite 468-491. Springer, (2001)Once Upon a Type., , und . FPCA, Seite 1-11. ACM, (1995)Featherweight Java:\ A Minimal Core Calculus for Java and GJ, , und . ACM Transactions on Programming Languages and Systems (TOPLAS), 23 (3): 396--450 (Mai 2001)A Formal Semantics of Patterns in XSLT and XPath.. Markup Languages, 2 (2): 183-202 (2000)The Essence of Functional Programming. (Januar 1992)Et tu, XML? The downfall of the relational empire (abstract).. VLDB, Seite 15. Morgan Kaufmann, (2001)