> Hi guys
> I would really like to see work dong on type inference, pluggable type system in pharo,....
> the refs of this paper are for example interesting:
> http://www.cs.brown.edu/~sk/Publications/Papers/Published/gsk-flow-typing-theory/paper.pdf >
> We will work on a call that we will publish on our web site because this is important that other people
> know that we are interested in research ideas to improve Smalltalk state of the art.