Hi!
There is some work being done on inferring type (http://concretetypeinference.blogspot.com). What is the theoretical background of this work?
What is the algorithm used to infer the types?
Cheers,
Alexandre
--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel �http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.