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

Suchergebnisse

53 Datensätze gefunden (absteigend sortiert nach Änderungsdatum)
 
 
Zurück123Vor
  Sortierung nach Status ???List_Show??? Alle aufklappen Selektieren Alle zuklappen
  1. Urheber:
    Datum: Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Zeitschriftenartikel 
    Dateien : 1 Datei
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Zeitschrift
    Title der Quelle: Proceedings of the ACM on Programming Languages
    Band / Heft: 1
    Start- / Endseite: -
    Artikelnummer: 89
    Ort, Verlag, Ausgabe: New York, NY : ACM
     : 1 es sind weitere Quellen vorhanden
  2. Urheber:
    Datum: Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 26th European Symposium on Programming
    Genre der Quelle: Konferenzband
    Title der Quelle: Programming Languages and Systems
    Band / Heft: -
    Start- / Endseite: 696 - 723
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  3. Urheber:
    Datum: Online veröffentlicht: 2017  
    Genre: Zeitschriftenartikel 
    Dateien : -
    externe Referenzen: 2 ext. Referenzen
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Zeitschrift
    Title der Quelle: Dagstuhl Artifacts Series
    Band / Heft: 3 (1)
    Start- / Endseite: 1 - 2
    Artikelnummer: 15
    Ort, Verlag, Ausgabe: Wadern : Schloss Dagstuhl
  4. Urheber:
    Datum: Online veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: 2 ext. Referenzen
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 31st European Conference on Object-Oriented Progr...
    Genre der Quelle: Konferenzband
    Title der Quelle: 29th European Conference on Object-Oriented Progr...
    Band / Heft: -
    Start- / Endseite: 1 - 29
    Artikelnummer: 17
    Ort, Verlag, Ausgabe: Wadern : Schloss Dagstuhl
     : 1 es sind weitere Quellen vorhanden
  5. Urheber:
    Datum: Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 44th ACM SIGPLAN Symposium on Principles of Progr...
    Genre der Quelle: Konferenzband
    Title der Quelle: POPL'17
    Band / Heft: -
    Start- / Endseite: 175 - 189
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  6. Urheber:
    Datum: Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 38th ACM SIGPLAN Conference on Programming Langua...
    Genre der Quelle: Konferenzband
    Title der Quelle: PLDI'17
    Band / Heft: -
    Start- / Endseite: 618 - 632
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  7. Urheber:
    Datum: Erstellt: 2017-01-20 | Online veröffentlicht: 2017  
    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: -
  8. Urheber:
    Datum: Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 26th European Symposium on Programming
    Genre der Quelle: Konferenzband
    Title der Quelle: Programming Languages and Systems
    Band / Heft: -
    Start- / Endseite: 909 - 936
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  9. 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: -
  10. 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: -
  11. 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
  12. ( )
    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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. ( )
    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
  25. 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
 
 
Zurück123Vor