An experiment using Haskell to prototype "geometric region servers" for navy command and control, Research Report, vol.1031, 1993. ,
Functional programming, formal specification, and rapid prototyping, IEEE Transactions on Software Engineering, vol.12, issue.2, pp.12241-250, 1986. ,
DOI : 10.1109/TSE.1986.6312939
Functional parsers, First International School on Advanced Functional Programming, pp.1-23, 1995. ,
DOI : 10.1007/3-540-59451-5_1
Merging Hierarchically-Structured Documents in Workflow Systems, Electronic Notes in Theoretical Computer Science, vol.203, issue.5, pp.3-24, 2008. ,
DOI : 10.1016/j.entcs.2008.05.017
Une approche grammaticale pour la fusion des réplicats partiels d'un document structuré : application à l'édition coopérative asynchrone, Thèse de Doctorat/PhD, 2009. ,
The Haskell 98 Foreign Function Interface 1.0 : An Addendum to the Haskell 98, Report, 2005. ,