Sorting Morphisms (1998)

Cached

Download Links

by Lex Augusteijn
Venue:3rd International Summer School on Advanced Functional Programming, volume 1608 of LNCS
Citations:27 - 0 self

Active Bibliography

Meta-Programming with Tabaluga – Jan Kort, Ralf Lämmel, Joost Visser
4 Calculate Categorically! – Maarten Fokkinga - 1992
16 Calculating Accumulations – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1999
15 Between Functions and Relations in Calculating Programs – Graham Muir Hutton - 1992
11 More Advice on Proving a Compiler Correct: Improve a Correct Compiler – E. Meijer, E. Meijer - 1994
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
2 Discrete-Event Simulation on the Bulk-Synchronous Parallel Model – Mauricio Marin, St Cross College, Supervisor Prof, W. F. Mccoll - 1998
4 An Empirical Comparison of Priority Queue Algorithms – Mauricio Marín
3 On the Pending Event Set and Binary Tournaments – Mauricio Marín
2 Checking and Certifying Computational Results – Jonathan D. Bright - 1994
18 Checking Mergeable Priority Queues – Jonathan Bright, Gregory Sullivan - 1994
9 Data structures for the analysis of large structured Markov models – Andrew S. Miner - 2000
16 On The Implementation And Effectiveness Of Autoscheduling For Shared-Memory Multiprocessors – José Eduardo Moreira, Jos'e Eduardo Moreira, Ph. D, Constantine D. Polychronopoulos - 1995
27 Transforming Set Data Types to Power Optimal Data Structures – Sven Wuytack, Francky Catthoor, Hugo De Man - 1996
Definition of the Programming Language Elegant, release 7.1 – Dr. Ir, Dr. Ir, A. Augusteijn, A. Augusteijn - 2000
1 Towards Automated Modification of Legacy Assets – Alex Sellink, Chris Verhoef - 1999
17 Aspect-Oriented Compilers – Oege De Moor, Simon Peyton Jones, Eric Van Wyk - 1999
14 Scaffolding for Software Renovation – Alex Sellink, Chris Verhoef - 2000