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 × 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 DBLP: Trifonov:Valery

Contributed to:

CC 20032003
LICS 20022002
POPL 20022002
ICFP 20002000
PADL 20002000
ESOP 19991999
ICFP 19991999
SAS 19961996
OOPSLA 19951995
OOPSLA 19941994
Haskell 20032003

Wrote 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.
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.

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.