Luca Cardelli
| página web = }}Luca Andrea Cardelli FRS es un científico de la computación italiano, actualmente Director Asociado de Microsoft Research en Cambridge, Reino Unido. Cardelli es conocido por sus investigaciones en la teoría de tipos y la semántica operacional. Entre otras contribuciones, ayudó a diseñar Modula-3, implementó el primer compilador para el lenguaje de programación funcional (no puro) ML, y definió el concepto de programación dirigida por tipos. Ayudó a desarrollar el lenguaje de programación experimental Polyphonic C#. proporcionado por Wikipedia
Mostrando 1 - 20 Resultados de 24 Para Buscar 'Cardelli, Luca', tiempo de consulta: 0.06s
Limitar resultados
-
1por Cardelli, Luca
Publicado 2014
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14por Alexis, Emmanouil, Schulte, Carolin C. M., Cardelli, Luca, Papachristodoulou, Antonis
Publicado 2023
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
15
-
16por Alexis, Emmanouil, Schulte, Carolin C.M., Cardelli, Luca, Papachristodoulou, Antonis
Publicado 2021
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
17
-
18
-
19por Kothamachu, Varun B., Feliu, Elisenda, Wiuf, Carsten, Cardelli, Luca, Soyer, Orkun S.
Publicado 2013
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
20por Cardelli, Luca, Csikász-Nagy, Attila, Dalchau, Neil, Tribastone, Mirco, Tschaikowski, Max
Publicado 2016
Enlace del recurso
Enlace del recurso
Online Artículo Texto
Herramientas de búsqueda:
RSS