Version française
Home     About     Download     Resources     Contact us    
Browse thread
Defunctorizer
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ 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
 / \   -------