Volgen
Maarten Fokkinga
Maarten Fokkinga
retired Assistant Professor, University of Twente
Geen geverifieerd e-mailadres - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Functional programming with bananas, lenses, envelopes and barbed wire
E Meijer, M Fokkinga, R Paterson
Conference on functional programming languages and computer architecture …, 1991
8971991
Law and order in algorithmics
MM Fokkinga
1941992
Aligning application architecture to the business context
RJ Wieringa, HM Blanken, MM Fokkinga, PWPJ Grefen
Advanced Information Systems Engineering: 15th International Conference …, 2003
1342003
A Gentle Introduction to Category Theory-the calculational approach
MM Fokkinga
Lecture Notes of the STOP 1992 Summerschool on Constructive Algorithmics, 1992
831992
Monadic maps and folds for arbitrary datatypes
MM Fokkinga
University of Twente, Department of Computer Science, 1994
741994
Program calculation properties of continuous algebras
MM Fokkinga, E Meijer
Centrum voor Wiskunde en Informatica, 1991
601991
Tupling and mutumorphisms
MM Fokkinga
Squiggolist 1 (4), 1989
551989
Subtyping can have a simple semantics
H Balsters, MM Fokkinga
Theoretical Computer Science 87 (1), 81-96, 1991
431991
Datatype laws without signatures
MM Fokkinga
Mathematical Structures in Computer Science 6 (1), 1-32, 1996
411996
Calculate categorically!
MM Fokkinga
Formal Aspects of Computing 4, 673-692, 1992
391992
A translation from attribute grammars to catamorphisms
M Fokkinga, J Jeuring, L Meertens, E Meijer
Squiggolist 2 (1), 20-26, 1991
381991
Comparing refinements for failure and bisimulation semantics
R Eshuis, MM Fokkinga
Fundamenta Informaticae 52 (4), 297-321, 2002
332002
Ranking query results using context-aware preferences
AH Van Bunningen, MM Fokkinga, PMG Apers, L Feng
2007 IEEE 23rd International Conference on Data Engineering Workshop, 269-276, 2007
232007
Adjunctions
MM Fokkinga, L Meertens
Memoranda Informatica, 1994
191994
Modular completeness for communication closed layers
M Fokkinga, M Poel, J Zwiers
CONCUR'93: 4th Intrenational Conference on Concurrency Theory Hildesheim …, 1993
171993
The Hough transform
M Fokkinga
Journal of Functional Programming 21 (2), 129-133, 2011
162011
The right expert at the right time and place: From expertise identification to expertise selection
P Serdyukov, L Feng, A van Bunningen, S Evers, H van Heerde, P Apers, ...
Practical Aspects of Knowledge Management: 7th International Conference …, 2008
162008
An exercise in transformational programming: Backtracking and Branch-and-Bound
MM Fokkinga
Science of Computer Programming 16 (1), 19-48, 1991
151991
Generative modeling of persons and documents for expert search
P Serdyukov, D Hiemstra, M Fokkinga, PMG Apers
Proceedings of the 30th annual international ACM SIGIR conference on …, 2007
112007
The associativity of equivalence and the Towers of Hanoi problem
R Backhouse, M Fokkinga
Information Processing Letters 77 (2-4), 71-76, 2001
102001
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20