( en | de | ru )

 

Disambiguierung von "Mandelbaum, Yitzhak"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An effective theory of type refinements.

, , und . ICFP, Seite 213-225. ACM, (2003)

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.

Israel Mandelbaum

Yitzhak Goldfine

Hugo Mandelbaum

Ernst Mandelbaum

Gerd Mandelbaum

 

Weitere Publikationen von Autoren mit dem selben Namen

Language support for processing distributed ad hoc data., , , , , , und . PPDP, Seite 243-254. ACM, (2009)PADX: Querying Large-scale Ad Hoc Data with XQuery., , , und . PLAN-X, Seite 24-35. BRICS, Department of Computer Science, University of Aarhus, (2006)Efficient Earley Parsing with Regular Right-hand Sides., und . LDTA, Volume 253 von Electronic Notes in Theoretical Computer Science, Seite 135-148. Elsevier, (2009)ESP: A Language for Programmable Devices., , , und . PLDI, Seite 309-320. ACM, (2001)Dynamic Typing with Dependent Types., , , und . IFIP TCS, Volume 155 von IFIP, Seite 437-450. Kluwer/Springer, (2004)The next 700 data description languages., , und . J. ACM, 57 (2): 10:1-10:51 (2010)A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers., , , , und . PADL, Volume 4902 von Lecture Notes in Computer Science, Seite 133-149. Springer, (2008)An effective theory of type refinements., , und . ICFP, Seite 213-225. ACM, (2003)The next 700 data description languages., , und . POPL, Seite 2-15. ACM, (2006)PADS/ML: a functional data description language., , , , und . POPL, Seite 77-83. ACM, (2007)