Search dblp for Publications

• > Home > Search

@article{DBLP:journals/iandc/BugliesiP02,
  author       = {Michele Bugliesi and
                  Santiago M. Peric{\'{a}}s{-}Geertsen},
  title        = {Type Inference for Variant Object Types},
  journal      = {Inf. Comput.},
  volume       = {177},
  number       = {1},
  pages        = {2--27},
  year         = {2002},
  url          = {https://doi.org/10.1006/inco.2002.3091},
  doi          = {10.1006/INCO.2002.3091},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/BugliesiP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/CardelliGG02,
  author       = {Luca Cardelli and
                  Giorgio Ghelli and
                  Andrew D. Gordon},
  title        = {Types for the Ambient Calculus},
  journal      = {Inf. Comput.},
  volume       = {177},
  number       = {2},
  pages        = {160--194},
  year         = {2002},
  url          = {https://doi.org/10.1006/inco.2001.3121},
  doi          = {10.1006/INCO.2001.3121},
  timestamp    = {Mon, 14 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/CardelliGG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/CastagnaC02,
  author       = {Giuseppe Castagna and
                  Adriana B. Compagnoni},
  title        = {Seventh International Workshop on Foundations of Object-Oriented Languages},
  journal      = {Inf. Comput.},
  volume       = {177},
  number       = {1},
  pages        = {1},
  year         = {2002},
  url          = {https://doi.org/10.1006/inco.2001.3047},
  doi          = {10.1006/INCO.2001.3047},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/CastagnaC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/FisherR02,
  author       = {Kathleen Fisher and
                  John H. Reppy},
  title        = {Inheritance-Based Subtyping},
  journal      = {Inf. Comput.},
  volume       = {177},
  number       = {1},
  pages        = {28--55},
  year         = {2002},
  url          = {https://doi.org/10.1006/inco.2002.3169},
  doi          = {10.1006/INCO.2002.3169},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/FisherR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/IgarashiP02a,
  author       = {Atsushi Igarashi and
                  Benjamin C. Pierce},
  title        = {On Inner Classes},
  journal      = {Inf. Comput.},
  volume       = {177},
  number       = {1},
  pages        = {56--89},
  year         = {2002},
  url          = {https://doi.org/10.1006/inco.2002.3092},
  doi          = {10.1006/INCO.2002.3092},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/IgarashiP02a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Ito02,
  author       = {Takayasu Ito},
  title        = {Guest Editorial},
  journal      = {Inf. Comput.},
  volume       = {177},
  number       = {2},
  pages        = {121},
  year         = {2002},
  url          = {https://doi.org/10.1006/inco.2002.3170},
  doi          = {10.1006/INCO.2002.3170},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Ito02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Kobayashi02,
  author       = {Naoki Kobayashi},
  title        = {A Type System for Lock-Free Processes},
  journal      = {Inf. Comput.},
  volume       = {177},
  number       = {2},
  pages        = {122--159},
  year         = {2002},
  url          = {https://doi.org/10.1006/inco.2002.3171},
  doi          = {10.1006/INCO.2002.3171},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Kobayashi02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/MerroKN02,
  author       = {Massimo Merro and
                  Josva Kleist and
                  Uwe Nestmann},
  title        = {Mobile Objects as Mobile Processes},
  journal      = {Inf. Comput.},
  volume       = {177},
  number       = {2},
  pages        = {195--241},
  year         = {2002},
  url          = {https://doi.org/10.1006/inco.2002.3172},
  doi          = {10.1006/INCO.2002.3172},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/MerroKN02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Rinat02,
  author       = {Ran Rinat},
  title        = {Type-Safe Covariant Specialization with Generalized Matching},
  journal      = {Inf. Comput.},
  volume       = {177},
  number       = {1},
  pages        = {90--120},
  year         = {2002},
  url          = {https://doi.org/10.1006/inco.2001.3048},
  doi          = {10.1006/INCO.2001.3048},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Rinat02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}