List Homomorphisms with Accumulation and Indexing.
Title | List Homomorphisms with Accumulation and Indexing. |
Publication Type | Journal Article |
Year of Publication | 1999 |
Authors | Dosch, W, Wiedemann, B |
Bibtex:
@article {675, title = {List Homomorphisms with Accumulation and Indexing.}, year = {1999}, note = {In: Ph. Trinder, G. Michelson (eds): Proceedings of the 1st Scottish Functional Programming Workshop. Stirling, August 29th - September 1st, 1999. Technical Report RM/99/9, Dept. of Computing \& Electrical Engineerung. Edinburgh: Heriot Watt University 1999, 71-80}, author = {W. Dosch and Wiedemann, B.} }
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Aliyu Ali
- Mahmoud Abdelrehim
- Phillip Bende
- Juljan Bouchagiar
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Anja Grotrian
- Hannes Hesse
- Raik Hipler
- Elaheh Hosseinkhani
- Hannes Kallwies
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Lars Vosteen
- Open Positions
- Contact