×

Found 47 Documents (Results 1–47)

Programming in the \(\lambda \)-calculus: from Church to Scott and back. (English) Zbl 1405.68060

Achten, Peter (ed.) et al., The beauty of functional code. Essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday. Berlin: Springer (ISBN 978-3-642-40354-5/pbk). Lecture Notes in Computer Science 8106. Lecture Notes in Artificial Intelligence, 168-180 (2013).
MSC:  68N18 11Y16 68Q65
PDFBibTeX XMLCite
Full Text: DOI

Emulating primality with multiset representations of natural numbers. (English) Zbl 1351.11001

Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2011. 8th international colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23282-4/pbk). Lecture Notes in Computer Science 6916, 218-238 (2011).
MSC:  11-04 11A41 68N18
PDFBibTeX XMLCite
Full Text: DOI

Elementary thoughts on discrete logarithms. (English) Zbl 1188.11070

Buhler, J. P. (ed.) et al., Algorithmic number theory. Lattices, number fields, curves and cryptography. Cambridge: Cambridge University Press (ISBN 978-0-521-80854-5/hbk). Mathematical Sciences Research Institute Publications 44, 385-396 (2008).
PDFBibTeX XMLCite

Recounting the rationals: twice! (English) Zbl 1156.11308

Audebaud, Philippe (ed.) et al., Mathematics of program construction. 9th international conference, MPC 2008, Marseille, France, July 15–18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70593-2/pbk). Lecture Notes in Computer Science 5133, 79-91 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Functional-based synthesis of a systolic array for GCD computation. (English) Zbl 1226.68127

Horváth, Zoltán (ed.) et al., Implementation and application of functional languages. 18th international symposium, IFL 2006, Budapest, Hungary, September 4–6, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-74129-9/pbk). Lecture Notes in Computer Science 4449, 37-54 (2007).
MSC:  68W30 11A05 68N18
PDFBibTeX XMLCite
Full Text: DOI

Programming with streams in Coq. A case study: the sieve of Eratosthenes. (English) Zbl 1527.68258

Barendregt, Henk (ed.) et al., TYPES ’93. Types for proofs and programs. International workshop, Nijmegen, the Netherlands, May 24–28, 1993. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 806, 191-212 (1994).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field