Introduction to the theory of programming languages /
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Idioma: | inglés francés |
| Publicado: |
London :
Springer,
c2011.
|
| Colección: | Undergraduate topics in computer science.
|
| Materias: | |
| Acceso en línea: | Para acceder al texto completo, ingrese aquí al Servicio de descubrimiento de EBSCOhost desde la red de la UNQ. Seleccione EBSCOhost Research Databases y busque el título deseado. |
Tabla de Contenidos:
- Terms and relations
- The language PCF
- From evaluation to interpretation
- Compilation
- PCF with types
- Type inference
- References and assignment
- Records and objects
- Epilogue