5Jianmin Pang,Paul Callaghan,Zhaohui Luo.An approach to verification of domain properties based on LF[C].In:TYPES 2002 Workshop,Netherlands,2002 被引量：1
6Jianmin Pang,Paul Callaghan,Zhaohui Luo.LFTOP:An LF-based approach to domain specific reasoning[J].Journal of Computer Science and Technology,2005 被引量：1
7P C Callaghan,Z Luo,J Pang.Object languages in a type-theoretic meta-framework[C].In:Proceedings of the Workshop On Proof Transformation and Presentation and Proof Complexities(PTP'01),Italia,2001:23～36 被引量：1
8P C Callaghan.Functional Programming.Unpublished lecture notes,UK,2003 被引量：1
9Simon Thompson.Haskell:The Craft of Functional Programming[M].Second Edition,Addison-Wesley,1999 被引量：1
10Richard Bird.Introduction to Functional Programming using Haskell[M].2nd edition,Prentice Hall Press,1998 被引量：1
