Found 8 Documents (Results 1–8)
Implementing typeful program transformations. (English) Zbl 1096.68024
MSC:
68N30
Combining programming with theorem proving. (English) Zbl 1302.68241
Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP ’05, Tallinn, Estonia, September 26–28, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-064-7). ACM SIGPLAN Notices 40, No. 9, 66-77 (2005).
MSC:
68T15
68N15
Guarded recursive datatype constructors. (English) Zbl 1321.68161
Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’03, New Orleans, LA, USA, January 15–17, 2003. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-628-5). 224-235 (2003).
MSC:
68N18
Meta-programming through typeful code representation. (English) Zbl 1315.68038
Proceedings of the 8th ACM SIGPLAN international conference on functional programming, ICFP ’03, Uppsala, Sweden, August 25–29, 2003. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-756-7). ACM SIGPLAN Notices 38, No. 9, 275-286 (2003).
Mirror-swap words and related languages. (English) Zbl 1020.68506
MSC:
68Q45
Filter Results by …
Document Type
- Journal Articles (5)
- Collection Articles (3)
Author
- Chen, Chiyan (5)
- Xi, Hongwei (5)
- Chen, Gang (1)
- Shi, Rui (1)
Serial
- Fortschr. Phys. (1)
- BIT (1)
- Soochow J. Math. (1)
- J. Funct. Program. (1)
- Fundam. Inform. (1)
Software
- TREX (1)