共 50 条
- [1] Practical programming with higher-order encodings and dependent types PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2008, 4960 : 93 - +
- [2] The del-calculus.: Functional programming with higher-order encodings TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2005, 3461 : 339 - 353
- [3] Linear-algebraic λ-calculus: Higher-order, encodings, and confluence REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2008, 5117 : 17 - +
- [9] Proof pearl: The power of higher-order encodings in the logical framework LF THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2007, 4732 : 246 - 261
- [10] Hobbits for Haskell: A Library for Higher-Order Encodings in Functional Programming Languages HASKELL 11: PROCEEDINGS OF THE 2011 ACM SIGPLAN HASKELL SYMPOSIUM, 2011, : 35 - 46