Archives of the Caml mailing list > Message from Roberto Di Cosmo

Browse thread

[Caml-list] First order compile time functorial polymorphism in Ocaml

John Skaller
- Michal Moskal
  - John Max Skaller
    - Michal Moskal
      - Markus Mottl
        
        Michal Moskal
    - Markus Mottl
- Francois Rouaix
  - Roberto Di Cosmo
  - John Max Skaller
- Jun.Furuse@i...
  - John Max Skaller
- Jacques Carette
  - Jacques Garrigue
  - John Max Skaller
    - Jacques Carette
      - Jacques Garrigue
        
        John Max Skaller

Date:	-- (:)
From:	Roberto Di Cosmo <dicosmo@d...>
Subject:	Re: [Caml-list] First order compile time functorial polymorphism in Ocaml

As far as I remember, automatic generation of map/fold etc. is one of the example
found in the seminal paper on CamlP4 ... I think Daniel and Michel might give
you the example out oh their head :-)

--Roberto

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners