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 × Cyprus
1 × Japan
1 × Latvia
2 × USA
Collaborated with:
J.Garrigue H.Im S.Park T.Uustalu Z.M.Ariola P.Downen H.Herbelin A.Saurin
Talks about:
type (4) recurs (3) semant (2) modul (2) signatur (1) contract (1) coinduct (1) artifact (1) abstract (1) syntact (1)

Person: Keiko Nakata

DBLP DBLP: Nakata:Keiko

Contributed to:

ICALP (2) 20132013
FLOPS 20122012
OOPSLA 20112011
ESOP 20102010
ICFP 20062006

Wrote 5 papers:

ICALP-v2-2013-ImNP #data type #parametricity #recursion
Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types (HI, KN, SP), pp. 299–311.
FLOPS-2012-AriolaDHNS #calculus #call-by #semantics
Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts (ZMA, PD, HH, KN, AS), pp. 32–46.
OOPSLA-2011-ImNGP #recursion #type system
A syntactic type system for recursive modules (HI, KN, JG, SP), pp. 993–1012.
ESOP-2010-NakataU #hoare #induction #logic #semantics
A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While (KN, TU), pp. 488–506.
ICFP-2006-NakataG #programming #recursion
Recursive modules for programming (KN, JG), pp. 74–86.
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.