Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Mtac: A Monad for Typed Tactic Programming in Coq

Ziliani, B., Dreyer, D., Krishnaswami, N., Nanevski, A., & Vafeiadis, V. (2015). Mtac: A Monad for Typed Tactic Programming in Coq. Journal of Functional Programming, 25: e12. doi:10.1017/S0956796815000118.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0029-7088-4 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0029-7089-2
Genre: Zeitschriftenartikel

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Ziliani, Beta1, Autor           
Dreyer, Derek1, Autor           
Krishnaswami, Neelakantan2, Autor           
Nanevski, Aleksandar2, Autor
Vafeiadis, Viktor3, Autor           
Affiliations:
1Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society, ou_2105286              
2External Organizations, ou_persistent22              
3Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society, ou_2105293              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2015
 Publikationsstatus: Online veröffentlicht
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: ZilianiJFP2014
DOI: 10.1017/S0956796815000118
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Journal of Functional Programming
  Kurztitel : JFP
Genre der Quelle: Zeitschrift
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Cambridge : Cambridge Univ. Press
Seiten: 59 p. Band / Heft: 25 Artikelnummer: e12 Start- / Endseite: - Identifikator: ISSN: 1469-7653