×

Found 635 Documents (Results 1–100)

Towards fast nominal anti-unification of Letrec-expressions. (English) Zbl 07838502

Pientka, Brigitte (ed.) et al., Automated deduction – CADE 29. 29th international conference on automated deduction, Rome, Italy, July 1–4, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14132, 456-473 (2023).
MSC:  03B35 68V15
PDFBibTeX XMLCite
Full Text: DOI

Deep embedding with class. (English) Zbl 1528.68069

Swierstra, Wouter (ed.) et al., Trends in functional programming. 23rd international symposium, TFP 2022, virtual event, March 17–18, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13401, 39-58 (2023).
MSC:  68N18 68N15
PDFBibTeX XMLCite
Full Text: DOI

Linearity and uniqueness: an entente cordiale. (English) Zbl 1528.68084

Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 346-375 (2022).
MSC:  68N30 03B70 68N18
PDFBibTeX XMLCite
Full Text: DOI

A functional account of probabilistic programming with possible worlds. Declarative pearl. (English) Zbl 07570121

Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 186-204 (2022).
MSC:  68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

Translation certification for smart contracts. (English) Zbl 07570116

Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 94-111 (2022).
MSC:  68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI arXiv

\(\eta\)-equivalence in core dependent Haskell. (English) Zbl 07756112

Bezem, Marc (ed.) et al., 25th international conference on types for proofs and programs. TYPES 2019, June 11–14, 2019, Oslo, Norway. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 175, Article 7, 31 p. (2020).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

ConSORT: context- and flow-sensitive ownership refinement types for imperative programs. (English) Zbl 1508.68079

Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 684-714 (2020).
MSC:  68N30 68N18 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Higher-ranked annotation polymorphic dependency analysis. (English) Zbl 1508.68042

Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 656-683 (2020).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

Semantic foundations for deterministic dataflow and stream processing. (English) Zbl 1508.68069

Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 394-427 (2020).
MSC:  68N30 68Q10 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Distilling programs to prove termination. (English) Zbl 07453196

Fribourg, Laurent (ed.) et al., Proceedings of the eighth international workshop on verification and program transformation and the seventh workshop on Horn clauses for verification and synthesis, VPT/HCVS 2020, Dublin, Ireland, April 25–26, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 320, 140-154 (2020).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: arXiv Link

Declarative stream runtime verification (hLola). (English) Zbl 1476.68145

Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 25-43 (2020).
MSC:  68Q60 68N18
PDFBibTeX XMLCite
Full Text: DOI arXiv

Implementing hybrid semantics: from functional to imperative. (English) Zbl 07369993

Pun, Violet Ka I. (ed.) et al., Theoretical aspects of computing – ICTAC 2020. 17th international colloquium, Macau, China, November 30 – December 4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12545, 262-282 (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Implementing, and keeping in check, a DSL used in E-learning. (English) Zbl 07368091

Nakano, Keisuke (ed.) et al., Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12073, 179-197 (2020).
MSC:  68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

Proving type class laws for Haskell. (English) Zbl 1495.68034

Van Horn, David (ed.) et al., Trends in functional programming. 17th international conference, TFP 2016, College Park, MD, USA, June 8–10, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10447, 61-74 (2019).
MSC:  68N18 16Y60 68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

A semantic investigation of spiking neural P systems. (English) Zbl 1522.68208

Hinze, Thomas (ed.) et al., Membrane computing. 19th international conference, CMC 2018, Dresden, Germany, September 4–7, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11399, 108-130 (2019).
MSC:  68Q07 68N18 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Iterated covariant powerset is not a monad. (English) Zbl 1528.18007

Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 261-276 (2018).
MSC:  18C15 18A99
PDFBibTeX XMLCite
Full Text: DOI

A syntax for higher inductive-inductive types. (English) Zbl 1462.68022

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 20, 18 p. (2018).
MSC:  68N18 03B38 55U35
PDFBibTeX XMLCite
Full Text: DOI

Counting environments and closures. (English) Zbl 1462.68020

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 11, 16 p. (2018).
MSC:  68N18 03B40 68R05
PDFBibTeX XMLCite
Full Text: DOI

Syntax and semantics for operations with scopes. (English) Zbl 1497.68120

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 809-818 (2018).
PDFBibTeX XMLCite
Full Text: DOI Link

From concepts in non-monotonic reasoning to high-level implementations using abstract state machines and functional programming. (English) Zbl 1446.68151

Mashkoor, Atif (ed.) et al., Models: concepts, theory, logic, reasoning and semantics. Essays dedicated to Klaus-Dieter Schewe on the occasion of his 60th birthday. London: College Publications. Tributes 34, 288-309 (2018).
MSC:  68T30 68N18 68T27
PDFBibTeX XMLCite

Formalization of a polymorphic subtyping algorithm. (English) Zbl 1511.68059

Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10895, 604-622 (2018).
MSC:  68N18 68V20
PDFBibTeX XMLCite
Full Text: DOI Link

\(\Pi\)-Ware: hardware description and verification in Agda. (English) Zbl 1433.68081

Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 9, 27 p. (2018).
MSC:  68N15 68N18 94C11
PDFBibTeX XMLCite
Full Text: DOI

Learning nominal automata. (English) Zbl 1380.68243

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 613-625 (2017).
MSC:  68Q32 68N18 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

A formal, resource consumption-preserving translation of actors to Haskell. (English) Zbl 1485.68049

Hermenegildo, Manuel V. (ed.) et al., Logic-based program synthesis and transformation. 26th international symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10184, 21-37 (2017).
MSC:  68N30 68N18 68Q55
PDFBibTeX XMLCite
Full Text: DOI arXiv

Modular verification of higher-order functional programs. (English) Zbl 1485.68043

Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 831-854 (2017).
MSC:  68N18 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Context-free session type inference. (English) Zbl 1485.68072

Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 804-830 (2017).
PDFBibTeX XMLCite
Full Text: DOI HAL

The essence of functional programming on semantic data. (English) Zbl 1485.68042

Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 750-776 (2017).
MSC:  68N18 03B40 68T27
PDFBibTeX XMLCite
Full Text: DOI Link

Verified characteristic formulae for CakeML. (English) Zbl 1485.68030

Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 584-610 (2017).
MSC:  68N15 68N18 68N30
PDFBibTeX XMLCite
Full Text: DOI

Aplicative programming with Naperian functors. (English) Zbl 1485.68066

Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 556-583 (2017).
MSC:  68N30 68N15 68N18
PDFBibTeX XMLCite
Full Text: DOI Link

Programs using syntax with first-class binders. (English) Zbl 1485.68064

Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 504-529 (2017).
MSC:  68N30 68N15 68N18
PDFBibTeX XMLCite
Full Text: DOI

Friends with benefits. Implementing corecursion in foundational proof assistants. (English) Zbl 1485.68280

Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 111-140 (2017).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

SMT solving for functional programming over infinite structures. (English) Zbl 1477.68072

Atkey, Robert (ed.) et al., Proceedings of the sixth workshop on mathematically structured functional programming, MSFP 2016, Eindhoven, Netherlands, April 8, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 207, 57-75 (2016).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: arXiv Link

Complete Elgot monads and coalgebraic resumptions. (English) Zbl 1395.18004

Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 147-168 (2016).
MSC:  18C15 18C20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software