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 × Austria
1 × Italy
2 × France
5 × USA
Collaborated with:
T.Nipkow B.Krieg-Brückner K.Wang A.Goldberg A.Coglio R.Curien H.Shi
Talks about:
order (7) higher (5) unif (4) program (2) sup (2) arbitrari (1) structur (1) function (1) contextu (1) pattern (1)

Person: Zhenyu Qian

DBLP DBLP: Qian:Zhenyu

Contributed to:

OOPSLA 20002000
ECOOP 19961996
RTA 19961996
POPL 19941994
CADE 19921992
JICSLP 19921992
RTA 19911991
ALP 19901990
RTA 19871987

Wrote 10 papers:

OOPSLA-2000-QianGC #java #specification
A formal specification of JavaTM class loading (ZQ, AG, AC), pp. 325–336.
ECOOP-1996-QianK #functional #object-oriented #programming
Typed Object-Oriented Functional Programming with Late Binding (ZQ, BKB), pp. 48–72.
RTA-1996-CurienQS #higher-order #performance
Efficient Second-Order Matching (RC, ZQ, HS), pp. 317–331.
POPL-1994-Qian #equation #higher-order #logic programming
Higher-Order Equational Logic Programming (ZQ), pp. 254–267.
CADE-1992-NipkowQ #reduction #type system #unification #λ-calculus
Reduction and Unification in Lambda Calculi with Subtypes (TN, ZQ), pp. 66–78.
JICSLP-1992-QianW #higher-order
Higher-Order E-Unification for Arbitrary Theories (ZQ, KW), pp. 52–66.
RTA-1991-NipkowQ #composition #higher-order
Modular Higher-Order E-Unification (TN, ZQ), pp. 200–214.
ALP-1990-Qian #algebra #higher-order
Higher-Order Order-Sorted Algebras (ZQ), pp. 86–100.
Structured Contextual Rewriting (ZQ), pp. 168–179.
TAPSOFT-1993-Qian #higher-order #linear #unification
Linear Unification of Higher-Order Patterns (ZQ), pp. 391–405.

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.