MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Paola Giannini" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 18 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Type checking for javascript  
  • by Christopher Anderson, Paola Giannini — 2004 — In WOOD ’04, volume WOOD of ENTCS. Elsevier, 2004. http://www.binarylord.com/ work/js0wood.pdf
  • …Type Checking for JavaScript ⋆ Christopher Anderson 1 and Paola Giannini 2 1 Imperial College…
  • Cited by 2 (2 self) – Add To MetaCart
  • On state classes and their dynamic semantics  
  • by Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola — 2006 — In Procs. of International Conference on Software and Data Technologies (ICSOFT’06
  • …,giachino}@(email omitted); Paola Giannini Emanuele Cazzola Dipartimento di Informatica, Università del Piemonte Orientale Via…
  • Cited by 1 (0 self) – Add To MetaCart
  • Type-based useless-code elimination for functional programs  
  • by Stefano Berardi, Ferruccio Damiani, Paola Giannini — 2000 — Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation (SAIG 2000
  • …,Mario Coppo1,Ferruccio Damiani1,Paola Giannini2 1 Dipartimento di Informatica, Universit`a di Torino…
  • Cited by 7 (0 self) – Add To MetaCart
  • Objects Dynamically Changing Class  
  • by Sophia Drossopoulou, Mariangiola Dezani-ciancaglini, Ferruccio Damiani, Paola Giannini — 1999
  • …-Ciancaglini 2 , Ferruccio Damiani 2 , and Paola Giannini 3 1 Department of Computing, Imperial College 2…
  • Cited by 6 (4 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB