Travelled to:1 × Canada
1 × Denmark
1 × France
1 × Germany
1 × Poland
1 × The Netherlands
4 × USA
Collaborated with:Z.Shao S.F.Smith C.League B.Saha J.Eifrig ∅ J.Peterson A.Serjantov N.Papaspyrou A.E.Zwarico N.A.Hamid S.Monnier Z.Ni
Talks about:type (7) languag (2) class (2) java (2) constraint (1) polymorph (1) interoper (1) intermedi (1) intension (1) integragt (1)
Person: Valery Trifonov
DBLP: Trifonov:Valery
Contributed to:
2003
2002
2002
2000
2000
19991999
1996
19951994
2003Wrote 11 papers:
- CC-2003-LeagueST #compilation #java #precise
- Precision in Practice: A Type-Preserving Java Compiler (CL, ZS, VT), pp. 106–120.
- LICS-2002-HamidSTMN #approach
- A Syntactic Approach to Foundational Proof-Carrying Code (NAH, ZS, VT, SM, ZN), pp. 89–100.
- POPL-2002-ShaoSTP #type system
- A type system for certified binaries (ZS, BS, VT, NP), pp. 217–232.
- ICFP-2000-TrifonovSS #analysis #reflexive
- Fully reflexive intensional type analysis (VT, BS, ZS), pp. 82–93.
- PADL-2000-PetersonTS #functional #parallel #programming
- Parallel Functional Reactive Programming (JP, VT, AS), pp. 16–31.
- ESOP-1999-TrifonovS
- Safe and Principled Language Interoperation (VT, ZS), pp. 128–146.
- ICFP-1999-LeagueST #java #representation
- Representing Java Classes in a Typed Intermediate Language (CL, ZS, VT), pp. 183–196.
- SAS-1996-TrifonovS #type system
- Subtyping Constrained Types (VT, SFS), pp. 349–365.
- OOPSLA-1995-EifrigST #polymorphism #type inference
- Sound Polymorphic Type Inference for Objects (JE, SFS, VT), pp. 169–184.
- OOPSLA-1994-EifrigSTZ #decidability #object-oriented #type system
- Application of OOP Type Theory: State, Decidability, Integragtion (JE, SFS, VT, AEZ), pp. 16–30.
- Haskell-2003-Trifonov #constraints #quantifier #simulation
- Simulating quantified class constraints (VT), pp. 98–102.