×

Found 90 Documents (Results 1–90)

Sequent calculus as a compiler intermediate language. (English) Zbl 1360.68326

Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 74-88 (2016).
MSC:  68N18 68N20 68N30
PDFBibTeX XMLCite
Full Text: DOI

Comprehending ringads. For Phil Wadler, on the occasion of his 60th birthday. (English) Zbl 1343.68058

Lindley, Sam (ed.) et al., A list of successes that can change the world. Essays dedicated to Philip Wadler on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-30935-4/pbk; 978-3-319-30936-1/ebook). Lecture Notes in Computer Science 9600, 132-151 (2016).
MSC:  68N30 68N15
PDFBibTeX XMLCite
Full Text: DOI

Executable relational specifications of polymorphic type systems using Prolog. (English) Zbl 1475.68052

Kiselyov, Oleg (ed.) et al., Functional and logic programming. 13th international symposium, FLOPS 2016, Kochi, Japan, March 4–6, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9613, 109-125 (2016).
MSC:  68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

Efficient communication and collection with compact normal forms. (English) Zbl 1360.68344

Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 362-374 (2015).
MSC:  68N18 68P05
PDFBibTeX XMLCite
Full Text: DOI

Adaptive lock-free maps: purely-functional to scalable. (English) Zbl 1360.68385

Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 218-229 (2015).
MSC:  68P05 68N15 68N18
PDFBibTeX XMLCite
Full Text: DOI

A generic intermediate representation for verification condition generation. (English) Zbl 1473.68051

Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9527, 227-243 (2015).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

System FC with explicit kind equality. (English) Zbl 1323.68194

Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 275-286 (2013).
MSC:  68N20 03B70 68N18
PDFBibTeX XMLCite
Full Text: DOI Link

Exploiting vector instructions with generalized stream fusion. (English) Zbl 1323.68133

Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 37-48 (2013).
MSC:  68N18 68N20
PDFBibTeX XMLCite
Full Text: DOI

Automatic SIMD vectorization for Haskell. (English) Zbl 1323.68193

Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 25-36 (2013).
MSC:  68N20 68N18
PDFBibTeX XMLCite
Full Text: DOI Link

Nested data-parallelism on the GPU. (English) Zbl 1291.68109

Proceedings of the 17th ACM SIGPLAN international conference on functional programming, ICFP ’12, Copenhagen, Denmark, September 9–15, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1054-3). ACM SIGPLAN Notices 47, No. 9, 247-258 (2012).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

Binders unbound. (English) Zbl 1323.68177

Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 333-345 (2011).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

Functional programming through deep time: modeling the first complex ecosystems on earth. (English) Zbl 1323.68139

Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 28-31 (2011).
MSC:  68N18 68N15 92D40
PDFBibTeX XMLCite
Full Text: DOI

A certified framework for compiling and executing garbage-collected languages. (English) Zbl 1323.68136

Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 273-284 (2010).
MSC:  68N18 68N20 68T15
PDFBibTeX XMLCite
Full Text: DOI

Haskell type constraints unleashed. (English) Zbl 1284.68135

Blume, Matthias (ed.) et al., Functional and logic programming. 10th international symposium, FLOPS 2010, Sendai, Japan, April 19–21, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12250-7/pbk). Lecture Notes in Computer Science 6009, 56-71 (2010).
MSC:  68N18 68N20
PDFBibTeX XMLCite
Full Text: DOI Link

Semantic labelling for proving termination of combinatory reduction systems. (English) Zbl 1274.68150

Escobar, Santiago (ed.), Functional and constraint logic programming. 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-11998-9/pbk). Lecture Notes in Computer Science 5979, 62-78 (2010).
MSC:  68Q42 68N18
PDFBibTeX XMLCite
Full Text: DOI

Clowns to the left of me, jokers to the right (pearl), dissecting data structures. (English) Zbl 1295.68161

Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’08, San Francisco, CA, USA, January 07–12, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-689-9). 287-295 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Harnessing the multicores: nested data parallelism in Haskell. (English) Zbl 1248.68134

Hariharan, Ramesh (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2008), December 9–11, 2008, Bangalore, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-08-8). LIPIcs – Leibniz International Proceedings in Informatics 2, 383-414, electronic only (2008).
MSC:  68N18 68N19 68W10
PDFBibTeX XMLCite
Full Text: DOI Link

Preserving sharing in the partial evaluation of lazy functional programs. (English) Zbl 1179.68036

King, Andy (ed.), Logic-based program synthesis and transformation. 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23–24, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-78768-6/pbk). Lecture Notes in Computer Science 4915, 74-89 (2008).
MSC:  68N30 68N18
PDFBibTeX XMLCite
Full Text: DOI

Scrap your type applications. (English) Zbl 1156.68351

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, 2-27 (2008).
MSC:  68N30 03B40 68N18
PDFBibTeX XMLCite
Full Text: DOI

Call-pattern specialisation for Haskell programs. (English) Zbl 1291.68130

Proceedings of the 12th ACM SIGPLAN international conference on functional programming, ICFP ’07, Freiburg, Germany, October 1–3, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-815-2). ACM SIGPLAN Notices 42, No. 9, 327-337 (2007).
MSC:  68N18 68N20
PDFBibTeX XMLCite
Full Text: DOI

Using Template Haskell for abstract interpretation. (English) Zbl 1279.68049

López Fraguas, Francisco J. (ed.), Proceedings of the 15th workshop on functional and (constraint) logic programming (WFLP 2006), Madrid, Spain, November 16–17, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 177, 201-217 (2007).
MSC:  68N20 68N18
PDFBibTeX XMLCite
Full Text: DOI

Using Maude and its strategies for defining a framework for analyzing Eden semantics. (English) Zbl 1277.68104

Antoy, Sergio (ed.), Proceedings of the sixth international workshop on reduction strategies in rewriting and programming (WRS 2006), Seattle, WA, USA, August 11, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 10, 119-137 (2007).
MSC:  68Q42 68N18 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Principal type inference for GHC-style multi-parameter type classes. (English) Zbl 1168.68367

Kobayashi, Naoki (ed.), Programming languages and systems. 4th Asian symposium, APLAS 2006, Sydney, Australia, November 8–10, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-48937-5/pbk). Lecture Notes in Computer Science 4279, 26-43 (2006).
MSC:  68N30 68N18
PDFBibTeX XMLCite
Full Text: DOI Link

Ruler: Programming type rules. (English) Zbl 1185.68191

Hagiya, Masami (ed.) et al., Functional and logic programming. 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24–26, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33438-6/pbk). Lecture Notes in Computer Science 3945, 30-46 (2006).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI Link

A principled approach to operating system construction in Haskell. (English) Zbl 1302.68084

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, 116-128 (2005).
MSC:  68N25 68N18 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Dynamic optimization for functional reactive programming using generalized algebraic data types. (English) Zbl 1302.68189

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, 54-65 (2005).
MSC:  68Q65 68N18
PDFBibTeX XMLCite
Full Text: DOI

Building an interface between Eden and Maple: A way of parallelizing computer algebra algorithms. (English) Zbl 1108.68350

Trinder, Phil (ed.) et al., Implementation of functional languages. 15th international workshop, IFL 2003, Edinburgh, UK, September 8–11, 2003. Revised papers. Berlin: Springer (ISBN 3-540-23727-5/pbk). Lecture Notes in Computer Science 3145, 135-151 (2004).
MSC:  68N15 68N18 68W30
PDFBibTeX XMLCite
Full Text: DOI

Correctness of non-determinism analyses in a parallel-functional language. (English) Zbl 1108.68354

Trinder, Phil (ed.) et al., Implementation of functional languages. 15th international workshop, IFL 2003, Edinburgh, UK, September 8–11, 2003. Revised papers. Berlin: Springer (ISBN 3-540-23727-5/pbk). Lecture Notes in Computer Science 3145, 69-85 (2004).
MSC:  68N15 68N18
PDFBibTeX XMLCite
Full Text: DOI

Interfacing Haskell with object-oriented languages. (English) Zbl 1108.68352

Trinder, Phil (ed.) et al., Implementation of functional languages. 15th international workshop, IFL 2003, Edinburgh, UK, September 8–11, 2003. Revised papers. Berlin: Springer (ISBN 3-540-23727-5/pbk). Lecture Notes in Computer Science 3145, 20-35 (2004).
MSC:  68N15 68N18
PDFBibTeX XMLCite
Full Text: DOI

Optimistic evaluation: an adaptive evaluation strategy for non-strict programs. (English) Zbl 1315.68048

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, 287-298 (2003).
MSC:  68N18 68N20
PDFBibTeX XMLCite
Full Text: DOI

Polar type inference with intersection types and \(\omega\). (English) Zbl 1270.03029

van Bakel, Steffen (ed.), ITRS’02. Proceedings of the 2nd workshop on intersection types and related systems (FLoC satellite event), Copenhagen, Denmark, July 26, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 70, No. 1, 37-52 (2003).
MSC:  03B40 68N18
PDFBibTeX XMLCite
Full Text: DOI

Exception analysis for non-strict languages. (English) Zbl 1322.68041

Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 98-109 (2002).
PDFBibTeX XMLCite
Full Text: DOI

Proving the correctness of the STG machine. (English) Zbl 1053.68557

Arts, Thomas (ed.) et al., Implementation of functional languages. 13th international workshop, IFL 2001, Stockholm, Sweden, September 24–26, 2001. Selected papers. Berlin: Springer (ISBN 3-540-43537-9). Lect. Notes Comput. Sci. 2312, 88-104 (2002).
MSC:  68N18 68Q55 68Q60
PDFBibTeX XMLCite
Full Text: Link

Functional array fusion. (English) Zbl 1323.68238

Proceedings of the 6th ACM SIGPLAN international conference on functional programming, ICFP ’01, Florence, Italy, September 3–5, 2001. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-415-0). ACM SIGPLAN Notices 36, No. 10, 205-216 (2001).
MSC:  68P05 68N18
PDFBibTeX XMLCite
Full Text: DOI

Events in Haskell, and how to implement them. (English) Zbl 1323.68152

Proceedings of the 6th ACM SIGPLAN international conference on functional programming, ICFP ’01, Florence, Italy, September 3–5, 2001. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-415-0). ACM SIGPLAN Notices 36, No. 10, 157-168 (2001).
MSC:  68N18 68N19
PDFBibTeX XMLCite
Full Text: DOI

Scoped dynamic rewrite rules. (English) Zbl 1268.68106

van den Brand, Mark (ed.) et al., RULE 2001. Proceedings of the 2nd international workshop on rule-based programming (Satellite Event of PLI 2001), Florence, Italy, September 4, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 59, No. 4, 375-396 (2001).
MSC:  68Q42 68N30
PDFBibTeX XMLCite
Full Text: DOI

Derivable type classes. (English) Zbl 1262.68028

Hutton, Graham (ed.), 2000 ACM SIGPLAN Haskell workshop (satellite event of PLI 2000), Montreal, Canada, September 17, 2000. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 41, No. 1, 5-35 (2001).
MSC:  68N18 68N19
PDFBibTeX XMLCite
Full Text: DOI

Compiling lazy functional programs based on the spineless tagless G-machine for the Java virtual machine. (English) Zbl 0977.68516

Kuchen, Herbert (ed.) et al., Functional and logic programming. 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2024, 92-107 (2001).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: Link

The design and implementation of Glasgow distributed Haskell. (English) Zbl 0977.68764

Mohnen, Markus (ed.) et al., Implementation of functional languages. 12th international workshop, IFL 2000, Aachen, Germany, September 4-7, 2000. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 2011, 53-70 (2001).
MSC:  68U99 68N18 68N15
PDFBibTeX XMLCite
Full Text: Link

Maude versus Haskell: An experimental comparison in security protocol analysis. (English) Zbl 0962.68056

Futatsugi, Kokichi, The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18-20, 2000. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 36, 22 p., electronic only (2000).
PDFBibTeX XMLCite

Monadic type systems: Pure type systems for impure settings. (Preliminary report). (English) Zbl 0925.68294

Gordon, Andrew (ed.) et al., HOOTS II. 2nd workshop on higher-order operational techniques in semantics. Stanford Univ., Palo Alto, CA, USA, December 8–12, 1997. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 10, electronic paper No. 9 (1997).
MSC:  68Q55
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software