The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Atsushi Igarashi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Atsushi Igarashi, Chieri Saito, Mirko Viroli
    Lightweight Family Polymorphism. [Citation Graph (0, 0)][DBLP]
    APLAS, 2005, pp:161-177 [Conf]
  2. Atsushi Igarashi, Naoki Kobayashi
    Resource Usage Analysis. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:147-158 [Conf]
  3. Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi
    Calculi of Meta-variables. [Citation Graph (0, 0)][DBLP]
    CSL, 2003, pp:484-497 [Conf]
  4. Atsushi Igarashi, Benjamin C. Pierce
    On Inner Classes. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2000, pp:129-153 [Conf]
  5. Atsushi Igarashi, Benjamin C. Pierce
    Foundations for Virtual Types. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1999, pp:161-185 [Conf]
  6. Atsushi Igarashi, Mirko Viroli
    On Variance-Based Subtyping for Parametric Types. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2002, pp:441-469 [Conf]
  7. Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler
    Featherwieght Java: A Minimal Core Calculus for Java and GJ. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1999, pp:132-146 [Conf]
  8. Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi
    Resource usage analysis for a functional language with exceptions. [Citation Graph (0, 0)][DBLP]
    PEPM, 2006, pp:38-47 [Conf]
  9. Atsushi Igarashi, Naoki Kobayashi
    A generic type system for the Pi-calculus. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:128-141 [Conf]
  10. Atsushi Igarashi, Naoki Kobayashi
    Resource usage analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:331-342 [Conf]
  11. Yosihiro Yuse, Atsushi Igarashi
    A modal type system for multi-level generating extensions with persistent code. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:201-212 [Conf]
  12. Atsushi Igarashi, Hideshi Nagira
    Union types for object-oriented programming. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:1435-1441 [Conf]
  13. Atsushi Igarashi, Naoki Kobayashi
    Type-Based Analysis of Communication for Concurrent Programming Languages. [Citation Graph (0, 0)][DBLP]
    SAS, 1997, pp:187-201 [Conf]
  14. Atsushi Igarashi, Naoki Kobayashi
    Type Reconstruction for Linear -Calculus with I/O Subtyping. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:161, n:1, pp:1-44 [Journal]
  15. Atsushi Igarashi, Benjamin C. Pierce
    Foundations for Virtual Types. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:175, n:1, pp:34-49 [Journal]
  16. Atsushi Igarashi, Benjamin C. Pierce
    On Inner Classes. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:177, n:1, pp:56-89 [Journal]
  17. Atsushi Igarashi, Naoki Kobayashi
    A generic type system for the Pi-calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:311, n:1-3, pp:121-163 [Journal]
  18. Atsushi Igarashi, Naoki Kobayashi
    Resource usage analysis. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2005, v:27, n:2, pp:264-313 [Journal]
  19. Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler
    Featherweight Java: a minimal core calculus for Java and GJ. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2001, v:23, n:3, pp:396-450 [Journal]
  20. Atsushi Igarashi, Mirko Viroli
    Variant parametric types: A flexible subtyping scheme for generics. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2006, v:28, n:5, pp:795-847 [Journal]
  21. Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca
    Formal Techniques for Java-Like Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2006, pp:53-58 [Conf]
  22. Atsushi Igarashi, Mirko Viroli
    Variant path types for scalable extensibility. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2007, pp:113-132 [Conf]
  23. Atsushi Igarashi, Hideshi Nagira
    Union Types for Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2007, v:6, n:2, pp:- [Journal]

  24. Type relaxed weaving. [Citation Graph (, )][DBLP]


  25. Deriving Compilers and Virtual Machines for a Multi-level Language. [Citation Graph (, )][DBLP]


  26. Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-Calculus. [Citation Graph (, )][DBLP]


  27. Formal Techniques for Java-Like Programs. [Citation Graph (, )][DBLP]


  28. Self type constructors. [Citation Graph (, )][DBLP]


  29. Matching ThisType to subtyping. [Citation Graph (, )][DBLP]


  30. A Logical Foundation for Environment Classifiers. [Citation Graph (, )][DBLP]


  31. Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002