de.mpg.escidoc.pubman.appbase.FacesBeande.mpg.escidoc.pubman.appbase.FacesBean
Deutsch
 
Hilfe Wegweiser Impressum Kontakt Einloggen
  DetailsucheBrowse

Suchergebnisse

45 Datensätze gefunden (absteigend sortiert nach Änderungsdatum)
 
 
Zurück12Vor
  Sortierung nach Status ???List_Show??? Alle aufklappen Selektieren Alle zuklappen
  1. Urheber:
    Datum: Online veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: 1 ext. Referenz
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: The OCaml Users and Developers Workshop
    Genre der Quelle: Konferenzband
    Title der Quelle: OCaml 2016
    Band / Heft: -
    Start- / Endseite: -
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  2. Urheber:
    Datum: Erstellt: 2016-12-01 | Online veröffentlicht: 2016  
    Genre: Forschungspapier 
    Dateien : 1 Datei
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: -
    Title der Quelle: -
    Band / Heft: -
    Start- / Endseite: -
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  3. Urheber:
    Datum: Online veröffentlicht: 2017-03-18  
    Genre: Zeitschriftenartikel 
    Dateien : 1 Datei
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Zeitschrift
    Title der Quelle: Electronic Notes in Theoretical Computer Science
    Band / Heft: 331
    Start- / Endseite: 57 - 70
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Amsterdam : Elsevier
     : 1 es sind weitere Quellen vorhanden
  4. ( )
    Higher-order Ghost State
    Urheber:
    Datum: Online veröffentlicht: 2016 | Im Druck veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 21st ACM SIGPLAN International Conference on Func...
    Genre der Quelle: Konferenzband
    Title der Quelle: ICFP'16
    Band / Heft: -
    Start- / Endseite: 256 - 269
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  5. Urheber:
    Datum: Online veröffentlicht: 2015 | Im Druck veröffentlicht: 2015  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 36th ACM SIGPLAN Conference on Programming Langua...
    Genre der Quelle: Konferenzband
    Title der Quelle: PLDI'15
    Band / Heft: -
    Start- / Endseite: 110 - 120
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  6. Urheber:
    Datum: Online veröffentlicht: 2016 | Im Druck veröffentlicht: 2016  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Princ...
    Genre der Quelle: Konferenzband
    Title der Quelle: POPL'16
    Band / Heft: -
    Start- / Endseite: 178 - 190
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  7. Urheber:
    Datum: Online veröffentlicht: 2015 | Im Druck veröffentlicht: 2015  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 42nd Annual ACM SIGPLAN-SIGACT Symposium on Princ...
    Genre der Quelle: Konferenzband
    Title der Quelle: POPL'15
    Band / Heft: -
    Start- / Endseite: 637 - 650
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  8. Urheber:
    Datum: Online veröffentlicht: 2015  
    Genre: Zeitschriftenartikel 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Zeitschrift
    Title der Quelle: Journal of Functional Programming
    Band / Heft: 25
    Start- / Endseite: -
    Artikelnummer: e12
    Ort, Verlag, Ausgabe: Cambridge : Cambridge Univ. Press
  9. Urheber:
    Datum: Online veröffentlicht: 2015-08-29 | Im Druck veröffentlicht: 2015  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 20th ACM SIGPLAN International Conference on Func...
    Genre der Quelle: Konferenzband
    Title der Quelle: Proceedings of the 20th ACM SIGPLAN International...
    Band / Heft: -
    Start- / Endseite: 166 - 178
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
     : 1 es sind weitere Quellen vorhanden
  10. Urheber:
    Datum: Geändert: 2009-04-07 | Im Druck veröffentlicht: 2008  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Konferenzband
    Title der Quelle: ICFP’08 : proceedings of the 2008 SIGPLAN Interna...
    Band / Heft: -
    Start- / Endseite: 307 - 320
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  11. Datum: Geändert: 2009-04-07 | Im Druck veröffentlicht: 2008  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Konferenzband
    Title der Quelle: Proceedings of the 24th Conference on the Mathema...
    Band / Heft: -
    Start- / Endseite: 313 - 336
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, USA : Elsevier
     : 1 es sind weitere Quellen vorhanden
  12. Urheber:
    Datum: Im Druck veröffentlicht: 2009  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 2009 ACM SIGPLAN International Conference on Func...
    Genre der Quelle: Konferenzband
    Title der Quelle: ICFP’09 : proceedings of the 2009 ACM SIGPLAN Int...
    Band / Heft: -
    Start- / Endseite: 135 - 148
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  13. Urheber:
    Datum: Im Druck veröffentlicht: 2009  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 24th Annual IEEE Symposium on Logic in Computer S...
    Genre der Quelle: Konferenzband
    Title der Quelle: 24th Annual IEEE Symposium on Logic in Computer S...
    Band / Heft: -
    Start- / Endseite: 71 - 80
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Los Alamitos, CA : IEEE Computer Society
  14. Urheber:
    Datum: Im Druck veröffentlicht: 2009  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 36th Annual ACM SIGPLAN-SIGACT Symposium on Princ...
    Genre der Quelle: Konferenzband
    Title der Quelle: POPL’09 Proceedings of the 36th Annual ACM SIGPLA...
    Band / Heft: -
    Start- / Endseite: 340 - 353
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  15. Urheber:
    Datum: Im Druck veröffentlicht: 2010  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 37th Annual ACM SIGPLAN-SIGACT Symposium on Princ...
    Genre der Quelle: Konferenzband
    Title der Quelle: POPL’10 : proceedings of the 37th Annual ACM SIGP...
    Band / Heft: -
    Start- / Endseite: 185 - 198
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  16. ( )
    F-ing modules
    Urheber:
    Datum: Im Druck veröffentlicht: 2010  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 2010 ACM SIGPLAN Workshop on Types in Language De...
    Genre der Quelle: Konferenzband
    Title der Quelle: TLDI’10 : proceedings of the 2010 ACM SIGPLAN Wor...
    Band / Heft: -
    Start- / Endseite: 89 - 102
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  17. Urheber:
    Datum: Im Druck veröffentlicht: 2010  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 2010 ACM SIGPLAN International Conference on Func...
    Genre der Quelle: Konferenzband
    Title der Quelle: ICFP’10 : proceedings of the 2010 ACM SIGPLAN Int...
    Band / Heft: -
    Start- / Endseite: 143 - 156
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  18. Urheber:
    Datum: Im Druck veröffentlicht: 2011  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: POPL’11
    Genre der Quelle: Konferenzband
    Title der Quelle: POPL’11 Proceedings of the 38th Annual ACM SIGPLA...
    Band / Heft: -
    Start- / Endseite: 133 - 146
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  19. Urheber:
    Datum: Im Druck veröffentlicht: 2011  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: LICS 2011
    Genre der Quelle: Konferenzband
    Title der Quelle: 26th Annual IEEE Symposium on Logic in Computer S...
    Band / Heft: -
    Start- / Endseite: 247 - 256
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Los Alamitos, CA : IEEE Computer Society
  20. Urheber:
    Datum: Im Druck veröffentlicht: 2011  
    Genre: Zeitschriftenartikel 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Heft
    Title der Quelle: Special issue dedicated to ICFP 2009
    Band / Heft: -
    Start- / Endseite: 497 - 562
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
     : 1 es sind weitere Quellen vorhanden
  21. Urheber:
    Datum: Im Druck veröffentlicht: 2011  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: ICFP’11
    Genre der Quelle: Konferenzband
    Title der Quelle: ICFP’11 : proceedings of the 2011 ACM SIGPLAN Int...
    Band / Heft: -
    Start- / Endseite: 163 - 175
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  22. Urheber:
    Datum: Im Druck veröffentlicht: 2011  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: OOPSLA '11
    Genre der Quelle: Heft
    Title der Quelle: Proceedings of the 2011 ACM International Confere...
    Band / Heft: -
    Start- / Endseite: 753 - 772
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
     : 1 es sind weitere Quellen vorhanden
  23. Urheber:
    Datum: Im Druck veröffentlicht: 2011-06-07  
    Genre: Zeitschriftenartikel 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Heft
    Title der Quelle: SPECIAL ISSUE: Selected Papers of the Conference ...
    Band / Heft: -
    Start- / Endseite: 1 - 37
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
     : 1 es sind weitere Quellen vorhanden
  24. Urheber:
    Datum: Im Druck veröffentlicht: 2012  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: PLDI'12
    Genre der Quelle: Konferenzband
    Title der Quelle: PLDI’12 : Proceedings of the 2012 ACM SIGPLAN Con...
    Band / Heft: -
    Start- / Endseite: 299 - 310
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  25. Datum: Im Druck veröffentlicht: 2012  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: ICFP'12
    Genre der Quelle: Konferenzband
    Title der Quelle: ICFP’12 : Proceedings of the 2012 ACM SIGPLAN Int...
    Band / Heft: -
    Start- / Endseite: 17 - 28
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
 
 
Zurück12Vor