Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 DetailsÜbersicht
  Higher-order Ghost State

Jung, R., Krebbers, R., Birkedal, L., & Dreyer, D. (2016). Higher-order Ghost State. In J. Garrigue, G. Keller, & E. Sumii (Eds.), ICFP'16 (pp. 256-269). New York, NY: ACM. doi:10.1145/2951913.2951943.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-002D-067F-8 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-002D-0680-2
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Jung, Ralf1, Autor           
Krebbers, Robbert2, Autor
Birkedal, Lars2, Autor
Dreyer, Derek1, Autor           
Affiliations:
1Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society, ou_2105286              
2External Organizations, ou_persistent22              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 20162016
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: JungICFP2016
DOI: 10.1145/2951913.2951943
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 21st ACM SIGPLAN International Conference on Functional Programming
Veranstaltungsort: Nara, Japan
Start-/Enddatum: 2016-09-18 - 2016-09-24

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: ICFP'16
  Kurztitel : ICFP 2016
  Untertitel : Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming
Genre der Quelle: Konferenzband
 Urheber:
Garrigue, Jacques1, Herausgeber
Keller, Gabriele1, Herausgeber
Sumii, Eijiro1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: New York, NY : ACM
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 256 - 269 Identifikator: ISBN: 978-1-4503-4219-3