Version franēaise
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: 2006-03-30 (14:43)
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:

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

Hope this helps,
Jean-Christophe Filliātre (