×

Found 23 Documents (Results 1–23)

The recursion scheme from the cofree recursive comonad. (English) Zbl 1291.68149

Capretta, Venanzio (ed.) et al., Proceedings of the second workshop on mathematically structured functional programming (MSFP 2008), Reykjavik, Iceland, July 6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 5, 135-157 (2011).
PDFBibTeX XMLCite
Full Text: DOI

Corecursive algebras: a study of general structured corecursion. (English) Zbl 1266.68083

Oliveira, Marcel Vinícius Medeiros (ed.) et al., Formal methods: Foundations and applications. 12th Brazilian symposium on formal methods, SBMF 2009, Gramado, Brazil, August 19–21, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-10451-0/pbk). Lecture Notes in Computer Science 5902, 84-100 (2009).
MSC:  68N18 18C20
PDFBibTeX XMLCite
Full Text: DOI

Comonadic notions of computation. (English) Zbl 1279.68088

Adámek, J. (ed.) et al., Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 5, 263-284 (2008).
MSC:  68Q05 03B40 18C20
PDFBibTeX XMLCite
Full Text: DOI

Recursion schemes for dynamic programming. (English) Zbl 1235.68055

Uustalu, Tarmo (ed.), Mathematics of program construction. 8th international conference, MPC 2006, Kuressaare, Estonia, July 3–5, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-35631-8/pbk). Lecture Notes in Computer Science 4014, 235-252 (2006).
MSC:  68N30 68Q65 68W05
PDFBibTeX XMLCite
Full Text: DOI

The essence of dataflow programming. (English) Zbl 1156.68378

Horváth, Zoltán (ed.), Central European functional programming school. First summer school, CEFP 2005, Budapest, Hungary, July 4–15, 2005. Revised selected lectures. Berlin: Springer (ISBN 978-3-540-46843-1/pbk). Lecture Notes in Computer Science 4164, 135-167 (2006).
MSC:  68Q05 68N30
PDFBibTeX XMLCite
Full Text: DOI

Algebraic methodology and software technology. 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5–8, 2006. Proceedings. (English) Zbl 1107.68013

Lecture Notes in Computer Science 4019. Berlin: Springer (ISBN 978-3-540-35633-2/pbk). xi, 389 p. (2006).
MSC:  68-06 68N30 00B25
PDFBibTeX XMLCite
Full Text: DOI

Monadic augment and generalised short cut fusion. (English) Zbl 1302.68079

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, 294-305 (2005).
MSC:  68N19
PDFBibTeX XMLCite
Full Text: DOI

A type system for computationally secure information flow. (English) Zbl 1123.68034

Liśkiewicz, Maciej (ed.) et al., Fundamentals of computation theory. 15th international symposium, FCT 2005, Lübeck, Germany, August 17–20, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28193-2/pbk). Lecture Notes in Computer Science 3623, 365-377 (2005).
PDFBibTeX XMLCite
Full Text: DOI

Advanced functional programming. 5th international school, AFP 2004, Tartu, Estonia, August 14–21, 2004. Revised lectures. (English) Zbl 1086.68009

Lecture Notes in Computer Science 3622. Berlin: Springer (ISBN 3-540-28540-7/pbk). ix, 359 p. (2005).
MSC:  68-06 68N18 00B15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software