`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: Qian:Zhenyu

### Contributed to:

### Wrote 10 papers:

- OOPSLA-2000-QianGC #java #specification
- A formal specification of Java
^{TM}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.
- RTA-1987-Qian
- Structured Contextual Rewriting (ZQ), pp. 168–179.
- TAPSOFT-1993-Qian #higher-order #linear #unification
- Linear Unification of Higher-Order Patterns (ZQ), pp. 391–405.