Browse thread
Defunctorizer
- Francesco Logozzo
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Francesco Logozzo <Francesco.Logozzo@e...> |
| Subject: | Defunctorizer |
Hi,
I would like to know if (someone knows if) it exists a
defunctorizer for OCAML, like :
http://www.cs.berkeley.edu/Research/Aiken/defunct.tar.gz
that exists for SML/NJ?
It would be very usefull for the work I'm doing.
Thanks,
__
\ \ Francesco Logozzo
------
\ \ \ \ Computer Science Student
-------
\ \ \ \ Scuola Normale Superiore di Pisa
O/ -------
/| \ \ \ \ e-mail: logozzo@dmi.ens.fr
/ \ -------