Descripción
|
|
---|---|
Profundización en el estudio de evaluadores e intérpretes genéricos del cálculo lambda. | |
Internacional
|
Si |
Lugar
|
Oxford, United Kingdom |
Tipo
|
Miembros en el extranjero |
Fecha inicio
|
16/05/2009 |
Fecha fin
|
26/08/2009 |