Vom 20.12.2025 bis 11.01.2026 ist die Universitätsbibliothek geschlossen. Ab dem 12.01.2026 gelten wieder die regulären Öffnungszeiten. Ausnahme: Medizinische Hauptbibliothek und Zentralbibliothek sind bereits ab 05.01.2026 wieder geöffnet. Weitere Informationen

Treffer: Generic Programming with Dependent Types

Title:
Generic Programming with Dependent Types
Datatype-generic programming: International Spring School, SSDGP 2006
Authors:
Altenkirch, T., McBride, C., Morris, P.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. (4719):209-257
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN066985520&indx=1&recIds=ETOCCN066985520
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings