[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Thank you Frédéric, this is what I need and also contains relevant references.
- [TYPES] What is the state of the art of call-by-value c... Roman
- Re: [TYPES] What is the state of the art of call-b... Frédéric Blanqui
- Re: [TYPES] What is the state of the art of ca... Roman
