CINECA IRIS Institutional Research Information System

Polymorphic functions with set-theoretic types part 1: Syntax, semantics, and evaluation

Padovani, Luca
2014-01-01
2014
41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
San Diego, USA
January 22-24, 2014
49
1
5
17
ACM SIGPLAN NOTICES
Intersection types; Polymorphism; Types; XML; Computer Science (all)
Castagna, Giuseppe; Nguyen, Kim; Zhiwu, Xu; Hyeonseung, Im; Lenglet, Serguei; Padovani, Luca
04B-Conference paper in rivista
File in questo prodotto:
File Dimensione Formato  
2014 - POPL - Castagna Nguyen Xu Im Lenglet Padovani.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 649.93 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
649.93 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1652135
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? ND
social impact