[TYPES] What is the state of the art of call-by-value computing?

Roman effectfully at gmail.com
Tue Jul 10 08:36:07 EDT 2018

Previous message (by thread): [TYPES] What is the state of the art of call-by-value computing?
Next message (by thread): [TYPES] Transfinite universe levels
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Thank you Frédéric, this is what I need and also contains relevant references.

Previous message (by thread): [TYPES] What is the state of the art of call-by-value computing?
Next message (by thread): [TYPES] Transfinite universe levels
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-list mailing list