BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Cyprus
1 × Czech Republic
1 × Estonia
1 × France
1 × Germany
1 × Iceland
1 × Slovenia
1 × Switzerland
2 × Poland
2 × United Kingdom
3 × Portugal
4 × Italy
8 × USA
Collaborated with:
N.Yoshida M.Berger M.Carbone V.T.Vasconcelos R.Hu M.P.Fiore M.Tokoro N.Ng D.Mostrous M.Kubo S.Abramsky G.McCusker D.Kouzapas O.Pernet
Talks about:
type (11) logic (9) process (8) session (7) program (6) calculus (5) higher (5) order (5) asynchron (4) function (4)

Person: Kohei Honda

DBLP DBLP: Honda:Kohei

Contributed to:

RTA-TLCA 20142014
ICALP (2) 20122012
TOOLS Europe 20122012
ECOOP 20102010
ESOP 20092009
SFM 20092009
ECOOP 20082008
ICALP (2) 20082008
POPL 20082008
ESOP 20072007
FoSSaCS 20072007
ICALP (2) 20062006
ICFP 20052005
LICS 20052005
ICFP 20042004
PPDP 20042004
FoSSaCS 20032003
FoSSaCS 20022002
POPL 20022002
WRLA 20022002
LICS 20012001
TLCA 20012001
ESOP 20002000
ESOP 19981998
LICS 19981998
ICALP 19971997
POPL 19961996
POPL 19941994
ECOOP 19911991

Wrote 30 papers:

RTA-TLCA-2014-HondaYB #interactive #process #π-calculus
Process Types as a Descriptive Tool for Interaction — Control and the π-Calculus (KH, NY, MB), pp. 1–20.
ICALP-v2-2012-Honda #distributed
Session Types and Distributed Computing (KH), p. 23.
TOOLS-EUROPE-2012-NgYH #optimisation #parallel #programming
Multiparty Session C: Safe Parallel Programming with Message Optimisation (NN, NY, KH), pp. 202–218.
ECOOP-2010-HuKPYH #java #type safety
Type-Safe Eventful Sessions in Java (RH, DK, OP, NY, KH), pp. 329–353.
ESOP-2009-MostrousYH #commutative #type system
Global Principal Typing in Partially Commutative Asynchronous Sessions (DM, NY, KH), pp. 316–332.
SFM-2009-CarboneYH #exception #interactive #multi
Asynchronous Session Types: Exceptions and Multiparty Interactions (MC, NY, KH), pp. 187–212.
ECOOP-2008-HuYH #distributed #java #programming
Session-Based Distributed Programming in Java (RH, NY, KH), pp. 516–541.
ICALP-B-2008-BergerHY #abstraction #logic #mobile #process
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes (MB, KH, NY), pp. 99–111.
POPL-2008-HondaYC #multi
Multiparty asynchronous session types (KH, NY, MC), pp. 273–284.
ESOP-2007-CarboneHY #programming #web #web service
Structured Communication-Centred Programming for Web Services (MC, KH, NY), pp. 2–17.
FoSSaCS-2007-YoshidaHB #higher-order #logic #reasoning
Logical Reasoning for Higher-Order Functions with Local State (NY, KH, MB), pp. 361–377.
ICALP-v2-2006-HondaBY #higher-order #logic
Descriptive and Relative Completeness of Logics for Higher-Order Functions (KH, MB, NY), pp. 360–371.
ICFP-2005-BergerHY #alias #analysis #higher-order #imperative #logic
A logical analysis of aliasing in imperative higher-order functions (MB, KH, NY), pp. 280–293.
LICS-2005-HondaYB #higher-order #imperative #logic
An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules (KH, NY, MB), pp. 270–279.
ICFP-2004-Honda #logic #process
From process logic to program logic (KH), pp. 163–174.
PPDP-2004-HondaY #composition #higher-order #logic #polymorphism
A compositional logic for polymorphic higher-order functions (KH, NY), pp. 191–202.
FoSSaCS-2003-BergerHY #π-calculus
Genericity and the π-Calculus (MB, KH, NY), pp. 103–119.
FoSSaCS-2002-YoshidaHB #bisimulation
Linearity and Bisimulation (NY, KH, MB), pp. 417–434.
POPL-2002-HondaY #data flow
A uniform type structure for secure information flow (KH, NY), pp. 81–92.
WRLA-2002-Honda #game studies #process
Processes and Games (KH), pp. 40–69.
LICS-2001-YoshidaBH #normalisation #π-calculus
Strong Normalisation in the π-Calculus (NY, MB, KH), pp. 311–322.
TLCA-2001-BergerHY #π-calculus
Sequentiality and the π-Calculus (MB, KH, NY), pp. 29–45.
ESOP-2000-HondaVY #behaviour #data flow #process
Secure Information Flow as Typed Process Behaviour (KH, VTV, NY), pp. 180–199.
ESOP-1998-HondaVK #programming
Language Primitives and Type Discipline for Structured Communication-Based Programming (KH, VTV, MK), pp. 122–138.
LICS-1998-AbramskyHM #game studies #semantics
A Fully Abstract Game Semantics for General References (SA, KH, GM), pp. 334–344.
LICS-1998-FioreH #axiom #game studies #process #recursion #representation
Recursive Types in Games: Axiomatics and Process Representation (MPF, KH), pp. 345–356.
ICALP-1997-HondaY #analysis #call-by #game studies
Game Theoretic Analysis of Call-by-Value Computation (KH, NY), pp. 225–236.
POPL-1996-Honda #process
Composing Processes (KH), pp. 344–357.
POPL-1994-HondaY #combinator #mobile #process #representation
Combinatory Representation of Mobile Processes (KH, NY), pp. 348–360.
ECOOP-1991-HondaT #calculus #communication
An Object Calculus for Asynchronous Communication (KH, MT), pp. 133–147.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.