thanks for these references all. 

As some folks who help with GSOC mentoring have pointed out offline, this summers work is not to be a research project, but a concretely achievable over the summer by a single student project. if we hit hard obstacles i'll help sort out a concrete path that maintains a path to success, but research here isn't the goal. rather "lets make something that WORKS WELL". Sometimes the novelty requirements for research are contrary to the best tech choices for building robust usable tools. 

point being, thanks for sharing the fun reading, if any can help the student along, i'm happy to pass it along, but lets not nerd snipe students into other projects. (i'm bad enough with that for myself as is :) )


On Thu, May 30, 2013 at 2:27 PM, Stephen Tetley <stephen.tetley@gmail.com> wrote:
Similarly (to some degree), in the ML world John Reppy had a very nice
system that employed user customization via combinators rather than
inference to generate application/library specific FFIs, see:

http://people.cs.uchicago.edu/~jhr/papers/2006/gpce-fig.pdf

On 29 May 2013 18:57, Jason Dagit <dagitj@gmail.com> wrote:

> Are you folks aware of the work on this topic by Tristan Ravitch?
> https://github.com/travitch/foreign-inference
>
> Jason
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe