Version franēaise
Home     About     Download     Resources     Contact us    
Browse thread
FP & Software Engineering
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jean-Christophe Filliatre <filliatr@l...>
Subject: Re: [Caml-list] FP & Software Engineering

Jonathan Bryant writes:
 > Has anybody ever come up with a way of doing these things (HOFs,
 > functors, partial application, module types, parametric polymorphism) in
 > UML or any kind of modeling language? 

In Norman  Ramsey's nice  paper "ML Module  Mania" you'll find  such a
diagram for a complex combination of signatures, modules and functors:
see

  http://www.eecs.harvard.edu/nr/pubs/maniaws-abstract.html 

There  are similar  diagrams in  Philippe Narbel's  recent  book about
Ocaml, but unfortunately  this book is only printed  in French (if I'm
right).

Hope this helps,
-- 
Jean-Christophe Filliātre (http://www.lri.fr/~filliatr)