Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Atsushi Igarashi" ( http://dblp.L3S.de/Authors/Atsushi_Igarashi )

  Author page on DBLP  Author page in RDF  Community of Atsushi Igarashi in ASPL-2

Publication years (Num. hits)
1997-2005 (16) 2006-2008 (15) 2009-2011 (11)
Publication types (Num. hits)
article(15) inproceedings(27)
Venues (Conferences, Journals, ...)
OOPSLA(5) ECOOP(4) Inf. Comput.(4) ACM Trans. Program. Lang. Syst...(3) APLAS(3) ECOOP Workshops(2) Journal of Object Technology(2) Logical Methods in Computer Sc...(2) POPL(2) SAC(2) AOSD(1) ASIAN(1) CoRR(1) CSL(1) ESOP(1) FOAL(1) More (+10 of total 23)
Authors
Atsushi Igarashi(42) Naoki Kobayashi(8) Benjamin C. Pierce(7) Chieri Saito(5) Mirko Viroli(5) Naokata Shikuma(3) Gary T. Leavens(2) Hidehiko Masuhara(2) Hideshi Nagira(2) Masahiko Sato(2) Philip Wadler(2) Sophia Drossopoulou(2) Takafumi Sakurai(2) Takeshi Tsukada(2) Yukiyoshi Kameyama(2) Anindya Banerjee(1) More (+10 of total 34)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 41 occurrences of 26 keywords
Results
Found 42 publication records. Showing 42 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Kensuke Kojima, Atsushi Igarashi Constructive linear-time temporal logic: Proof systems and Kripke semantics. Search on Bibsonomy Inf. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara ContextFJ: a minimal core calculus for context-oriented programming. Search on Bibsonomy FOAL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Lintaro Ina, Atsushi Igarashi Gradual typing for generics. Search on Bibsonomy OOPSLA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Atsushi Igarashi A Featherweight Approach to FOOL. Search on Bibsonomy ECOOP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1João Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce Polymorphic Contracts. Search on Bibsonomy ESOP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Takeshi Tsukada, Atsushi Igarashi A Logical Foundation for Environment Classifiers Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hidehiko Masuhara, Atsushi Igarashi, Manabu Toyama Type relaxed weaving. Search on Bibsonomy AOSD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF around advice, aspect-oriented programming, type safety
1Shigeru Chiba, Atsushi Igarashi, Salikh Zakirov Mostly modular compilation of crosscutting concerns by contextual predicate dispatch. Search on Bibsonomy OOPSLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Takeshi Tsukada, Atsushi Igarashi A Logical Foundation for Environment Classifiers. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Chieri Saito, Atsushi Igarashi Matching ThisType to subtyping. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ThisType, exact types, subtyping, dynamic dispatch, binary methods
1Chieri Saito, Atsushi Igarashi Self type constructors. Search on Bibsonomy OOPSLA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF MyType, type constructor polymorphism, generics, binary methods
1Chieri Saito, Atsushi Igarashi The Essence of Lightweight Family Polymorphism. Search on Bibsonomy Journal of Object Technology The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Naokata Shikuma, Atsushi Igarashi Proving Noninterference by a Fully Complete Translation to the Simply Typed Lambda-Calculus. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi Calculi of meta-variables. Search on Bibsonomy Frontiers of Computer Science in China The full citation details ... 2008 DBLP  DOI  BibTeX  RDF meta-variable, context, ?-calculus, logical framework
1Naokata Shikuma, Atsushi Igarashi Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Chieri Saito, Atsushi Igarashi, Mirko Viroli Lightweight family polymorphism. Search on Bibsonomy J. Funct. Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad Formal Techniques for Java-Like Programs. Search on Bibsonomy ECOOP Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Atsushi Igarashi, Hideshi Nagira Union Types for Object-Oriented Programming. Search on Bibsonomy Journal of Object Technology The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Atsushi Igarashi, Mirko Viroli Variant path types for scalable extensibility. Search on Bibsonomy OOPSLA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF scalable extensibility, variant path types, subtyping, variance
1Atsushi Igarashi, Masashi Iwaki Deriving Compilers and Virtual Machines for a Multi-level Language. Search on Bibsonomy APLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Atsushi Igarashi, Mirko Viroli Variant parametric types: A flexible subtyping scheme for generics. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Generic classes, Java, subtyping, language design, variance, language semantics
1Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca Formal Techniques for Java-Like Programs. Search on Bibsonomy ECOOP Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi Resource usage analysis for a functional language with exceptions. Search on Bibsonomy PEPM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF resource usage analysis, type system, type inference, exception, effect system
1Atsushi Igarashi, Hideshi Nagira Union types for object-oriented programming. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF java, subtyping, language design, language semantics, union types
1Naokata Shikuma, Atsushi Igarashi Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-Calculus. Search on Bibsonomy ASIAN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Yosihiro Yuse, Atsushi Igarashi A modal type system for multi-level generating extensions with persistent code. Search on Bibsonomy PPDP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF time-ordered normalization, temporal logic, type systems, modal logic, meta-programming, curry-howard isomorphism
1Atsushi Igarashi, Naoki Kobayashi Resource usage analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF type inference, Resource usage
1Atsushi Igarashi, Chieri Saito, Mirko Viroli Lightweight Family Polymorphism. Search on Bibsonomy APLAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Atsushi Igarashi, Naoki Kobayashi A generic type system for the Pi-calculus. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi Calculi of Meta-variables. Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Atsushi Igarashi, Benjamin C. Pierce On Inner Classes. Search on Bibsonomy Inf. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Atsushi Igarashi, Benjamin C. Pierce Foundations for Virtual Types. Search on Bibsonomy Inf. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Atsushi Igarashi, Naoki Kobayashi Resource usage analysis. Search on Bibsonomy POPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Atsushi Igarashi, Mirko Viroli On Variance-Based Subtyping for Parametric Types. Search on Bibsonomy ECOOP The full citation details ... 2002 DBLP  BibTeX  RDF
1Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler Featherweight Java: a minimal core calculus for Java and GJ. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF generic classes, Java, Compilation, language design, language semantics
1Atsushi Igarashi, Naoki Kobayashi A generic type system for the Pi-calculus. Search on Bibsonomy POPL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Atsushi Igarashi, Naoki Kobayashi Resource Usage Analysis. Search on Bibsonomy APLAS The full citation details ... 2001 DBLP  BibTeX  RDF
1Atsushi Igarashi, Naoki Kobayashi Type Reconstruction for Linear -Calculus with I/O Subtyping. Search on Bibsonomy Inf. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Atsushi Igarashi, Benjamin C. Pierce On Inner Classes. Search on Bibsonomy ECOOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler Featherwieght Java: A Minimal Core Calculus for Java and GJ. Search on Bibsonomy OOPSLA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Java, implementation, language design, theoretical foundations
1Atsushi Igarashi, Benjamin C. Pierce Foundations for Virtual Types. Search on Bibsonomy ECOOP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Atsushi Igarashi, Naoki Kobayashi Type-Based Analysis of Communication for Concurrent Programming Languages. Search on Bibsonomy SAS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #42 of 42 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.