Welcome to the homepage of Martijn M. Schrage
Work related
I work at the Institute of Information and Computing Sciences of Utrecht University, as a part-time lecturer for the Software Technology group, and part-time developer of the Dazzle Bayesian network editor for the Decision Support Systems group.
On October the 15th 2004, I successfully defended my PhD thesis about the generic presentation-oriented editor Proxima.
Before my PhD, I worked on the SKIT project: The SKIT-homepage
Links
Publications
Martijn M. Schrage, Arjan van IJzendoorn, Linda C. van der Gaag. Haskell ready to Dazzle the real world. (pdf, bibTex) In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, ACM Press, Sept. 2005
Martijn M. Schrage. Proxima - A presentation-oriented editor for structured documents. (pdf, bibTex, abstract + separate chapters)
PhD thesis, Utrecht University, 2004.
A. Dijkstra, M.M. Schrage and S.D. Swierstra, "SKIT, An Open Architecture for Courseware Authoring",FIE 99, Frontiers in Education Conference, San Juan, ISBN 0-7803-5643-8, IEEE, 1999. (postscript or pdf)
Martijn M. Schrage, Johan Jeuring, Doaitse S. Swierstra, "Combinators for layered software architectures", Technical report UU-CS-2002-030, http://www.cs.uu.nl/research/techreps/UU-CS-2002-030.html
Miscellaneous
Haskell
The abstraction facilities of the language Haskell make it possible to use the language itself for describing architectures of large systems. The architecture description is a small amount of Haskell code that is part of the actual implementation of the system. The type checker ensures type correctness of the various components in the architecture.
I have developed a small Haskell combinator library for describing layered software architectures. The paper "Combinators for layered software architectures" explains the development and use of the combinators. The file architectureCombinators.zip contains the library and code from the paper, as well as some examples.
Page number paradox
In order to demonstrate some of the problems that can occur when graphically presenting a document, I wrote the following paradoxical latex file: paradox.tex
The latex file contains a page reference that can never be computed correctly, so latex keeps issuing warnings that labels may have changed and that latex should be run again. The output is always one of the following two: paradox1.dvi or paradox2.dvi
For a Word document having the same problem, click here. (Just right-click on the page number and select "update field".)
Modal dialogs considered harmful
Click here to find out why modal dialogs should be banished from user interfaces. Warning: the page effectively (and platform-independently) crashes your browser, so make sure you don't have any unsaved e-mails, etc. when visiting it.