Journal of Hebei University(Natural Science Edition) >

2010 , Vol. 30 >Issue 3: 323 - 326

DOI: https://doi.org/10.3969/j.issn.1000-1565.2010.03.021

Shape and Shape Type Based on the First Order Predicate and Category Theory

  • LU Su-kui
Expand

Online published: 2010-05-25

Fold

Cite this article

LU Su-kui . Shape and Shape Type Based on the First Order Predicate and Category Theory[J]. Journal of Hebei University(Natural Science Edition), 2010 , 30(3) : 323 -326 . DOI: 10.3969/j.issn.1000-1565.2010.03.021

References

[1] MILNER R, TOFLE M, HARPER R. Definition of standard ML [M]. London:MIT Press(UK) 1990.
[2] WINSKEL G. The formal semantics of programming languages [M]. London:The MIT Press(UK) 1990.
[3] JAY B. A semantics for shape [J]. SCIENCE OF COMPUTER PROGRAMMING 1995.
[4] READE C. Elements of functional programming [M]. London:Addison-Wesley Publishers(UK) Ltd 1989.
[5] JAY B. Programming in FISh [J]. International Journal on Software Tools for Technology Transfer 1999.
[6] JAY B, KESNER D. First-calss patterns [J]. JOURNAL OF FUNCTIONAL PROGRAMMING 2009.
[7] C.BARRY JAY. The Pattern Calculus [J]. ACM transactions on programming languages and systems 2004, 6(6).
Options
Outlines

/

〈 〉