BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Italy
1 × Japan
1 × Spain
1 × The Netherlands
1 × United Kingdom
Collaborated with:
Talks about:
type (7) style (3) polymorph (2) existenti (2) calculus (2) system (2) translat (1) structur (1) explicit (1) undecid (1)

Person: Ken-etsu Fujita

DBLP DBLP: Fujita:Ken=etsu

Contributed to:

RTA 20132013
RTA 20102010
TLCA 20092009
TLCA 20052005
TLCA 20032003
TLCA 19991999

Wrote 6 papers:

RTA-2013-FujitaS #decidability
Decidable structures between Church-style and Curry-style (KeF, AS), pp. 190–205.
RTA-2010-FujitaS #problem #system f
The Undecidability of Type Related Problems in Type-free Style System F (KeF, AS), pp. 103–118.
TLCA-2009-FujitaS #type system
Existential Type Systems with No Types in Terms (KeF, AS), pp. 112–126.
TLCA-2005-Fujita #polymorphism
Galois Embedding from Polymorphic Types into Existential Types (KeF), pp. 194–208.
TLCA-2003-Fujita #λ-calculus #μ-calculus
A Sound and Complete CPS-Translation for λμ-Calculus (KeF), pp. 120–134.
TLCA-1999-Fujita #call-by #morphism #polymorphism #λ-calculus #μ-calculus
Explicitly Typed λμ-Calculus for Polymorphism an Call-by-Value (KeF), pp. 162–176.

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.