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
  • A Generic Functional Represent...

Treffer: A Generic Functional Representation of Sorted Trees Supporting Attribution (Haskell Can Do It)

Title:
A Generic Functional Representation of Sorted Trees Supporting Attribution (Haskell Can Do It)
Programming logics: essays in memory of Harald Ganzinger
Authors:
Gaillourdet, J.-M., Michel, P., Poetzsch-Heffter, A., Rauch, N.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. (7797):72-89
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN084461050&indx=1&recIds=ETOCCN084461050
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings