Tactic-based optimized compilation of functional programs

Metadata only

Autor(in)

Datum

2006

Typ

Conference Paper

ETH Bibliographie

yes

Altmetrics

Publikationsstatus

published

Externe Links

Herausgeber(in)

Buchtitel

Types for proofs and programs : international workshop : revised selected papers

Zeitschrift / Serie

Lecture Notes in Computer Science

Band

3839

Seiten / Artikelnummer

201 - 214

Verlag

Springer

Konferenz

International Workshop on Types for Proofs and Programs, Jouy-en-Josas, France, December 15-18, 2004

Organisationseinheit

03634 - Basin, David / Basin, David

Mehr

ETH Bibliographie

yes

Altmetrics

Research Collection