Travelled to:
1 × Sweden
1 × USA
Collaborated with:
A.Ohori
Talks about:
type (2) calculus (1) control (1) bytecod (1) system (1) static (1) access (1) term (1) java (1) jvm (1)
Person: Tomoyuki Higuchi
DBLP: Higuchi:Tomoyuki
Contributed to:
Wrote 2 papers:
- ICFP-2003-HiguchiO #data access #static typing #type system #virtual machine
- A static type system for JVM access control (TH, AO), pp. 227–237.
- PPDP-2002-HiguchiO #bytecode #calculus #java
- Java bytecode as a typed term calculus (TH, AO), pp. 201–211.