Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Proceedings of the first ACM SIGPLAN International Conference on Functional Programming
| Proceedings of the first ACM SIGPLAN International Conference on Functional Programming |
| Autore | Harper Robert |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 1996 |
| Descrizione fisica | 1 online resource (273 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the first Association for Computing Machinery Special Interest Group on Programming Languages International Conference on Functional Programming
ICFP96 International Conference on Functional Programming (part of FCRC '96), Philadelphia, PA, USA - May 24 - 26, 1996 |
| Record Nr. | UNINA-9910376081803321 |
Harper Robert
|
||
| [Place of publication not identified], : ACM, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Types in Compilation [[electronic resource] ] : Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers / / edited by Robert Harper
| Types in Compilation [[electronic resource] ] : Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers / / edited by Robert Harper |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (X, 214 p.) |
| Disciplina | 005.4/53 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Computer logic Mathematical logic Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-540-45332-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Types in Compilation -- Sound and Complete Elimination of Singleton Kinds -- Program Representation Size in an Intermediate Language with Intersection and Union Types -- An Abstract Model of Java Dynamic Linking and Loading -- Sharing in Typed Module Assembly Language -- Scalable Certification for Typed Assembly Language -- Safe and Flexible Dynamic Linking of Native Code -- Alias Types for Recursive Data Structures. |
| Record Nr. | UNISA-996465908003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Types in Compilation : Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers / / edited by Robert Harper
| Types in Compilation : Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers / / edited by Robert Harper |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (X, 214 p.) |
| Disciplina | 005.4/53 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Computer logic Logic, Symbolic and mathematical Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-540-45332-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Types in Compilation -- Sound and Complete Elimination of Singleton Kinds -- Program Representation Size in an Intermediate Language with Intersection and Union Types -- An Abstract Model of Java Dynamic Linking and Loading -- Sharing in Typed Module Assembly Language -- Scalable Certification for Typed Assembly Language -- Safe and Flexible Dynamic Linking of Native Code -- Alias Types for Recursive Data Structures. |
| Record Nr. | UNINA-9910143602103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||