Výsledky vyhledávání - Theory Keywords Dependently Typed Programming

Modularising inductive families

Autoři: Hsiang-shang Ko Jeremy Gibbons The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Hsiang-shang Ko Jeremy Gibbons The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.ox.ac.uk/people/hsiang-shang.ko/OAOAOO/OAOAOO.pdf.

Témata: Design, Languages, Theory Keywords Dependently Typed Programming, Inductive Families, Datatype-Generic Programming

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.259.3650

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.259.3650
http://www.cs.ox.ac.uk/people/hsiang-shang.ko/OAOAOO/OAOAOO.pdf

Idris, a general-purpose dependently typed programming language: Design and implementation.

Autoři: BRADY, EDWIN

Zdroj: Journal of Functional Programming; Sep2013, Vol. 23 Issue 5, p552-593, 42p

Témata: TYPE theory, HIGH-level programming languages, SYNTAX in programming languages, MATHEMATICAL logic, EVALUATION, FOLKLORE, FUNCTIONAL programming languages

Gradualizing the Calculus of Inductive Constructions.

Autoři: LENNON-BERTRAND, MEVEN MAILLARD, KENJI TABAREAU, NICOLAS a další

Zdroj: ACM Transactions on Programming Languages & Systems; 2022, Vol. 44 Issue 2, p1-82, 82p

Témata: CALCULUS of variations, PROGRAMMING languages, METATHEORY, TRIANGLES

DRAFT FOR DTP’13 Relational Algebraic Ornaments

Autoři: Hsiang-shang Ko Jeremy Gibbons The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Hsiang-shang Ko Jeremy Gibbons The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.ox.ac.uk/people/hsiang-shang.ko/algOrn/algOrn.pdf.

Témata: Design, Languages, Theory Keywords Dependently typed programming, inductive families, program derivation

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.309.1640

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.309.1640
http://www.cs.ox.ac.uk/people/hsiang-shang.ko/algOrn/algOrn.pdf

Combining proofs and programs in a dependently typed langauge

Autoři: Chris Casinghino Vilhelm Sjöberg Stephanie Weirich a další

Přispěvatelé: Chris Casinghino Vilhelm Sjöberg Stephanie Weirich a další

Zdroj: http://www.seas.upenn.edu/~vilhelm/papers/popl14combining.pdf.

Témata: Categories and Subject Descriptors D.3.1 [Programming Lan- guages, Formal Definitions and Theory Keywords Dependent types, Termination, General recursion

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.643.5738; http://www.seas.upenn.edu/~vilhelm/papers/popl14combining.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.643.5738
http://www.seas.upenn.edu/~vilhelm/papers/popl14combining.pdf

Programming up to congruence

Autoři: Stephanie Weirich The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Stephanie Weirich The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.seas.upenn.edu/~vilhelm/papers/congruence.pdf.

Témata: Categories and Subject Descriptors D.3.1 [Programming Lan- guages, Formal Definitions and Theory Keywords Dependent types, Congruence closure

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.643.5399; http://www.seas.upenn.edu/~vilhelm/papers/congruence.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.643.5399
http://www.seas.upenn.edu/~vilhelm/papers/congruence.pdf

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Autoři: Viktor Vafeiadis

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Autoři: Stephanie Weirich

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Autoři: Thomas Wies

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Programming / Compilers

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

Autoři: Ilya Sergey

Resource Type: eBook.

Témata: Computer programming--Congresses, Programming languages (Electronic computers)--Congresses

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Hardware / General

Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Autoři: Luís Caires

Resource Type: eBook.

Témata: Information theory, Computer industry, Computer science, Software engineering, Computer system performance, Electronic data processing

Categories: COMPUTERS / Programming / Compilers, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Autoři: Nobuko Yoshida

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses, Natural language processing (Computer science)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

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

Autoři: Peter Müller

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses, Natural language processing (Computer science)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Autoři: Amal Ahmed

Resource Type: eBook.

Témata: Programming languages (Electronic computers), Computer organization, Computer science, Computers

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

Programming up to Congruence (Extended version)

Autoři: Stephanie Weirich The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Stephanie Weirich The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.seas.upenn.edu/%7Esweirich/papers/congruence-extended.pdf.

Témata: Categories and Subject Descriptors D.3.1 [Programming Lan- guages, Formal Definitions and Theory Keywords Dependent types, Congruence closure

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.2451

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.2451
http://www.seas.upenn.edu/%7Esweirich/papers/congruence-extended.pdf

A framework for improving error messages in dependently-typed languages.

Autoři: Eremondi, Joseph Swierstra, Wouter Hage, Jurriaan

Zdroj: Ecological Genomics; Jan2019, Vol. 9 Issue 1, p1-32, 32p

The Liver Meeting: 2025 Abstracts.

Zdroj: Hepatology (02709139); 2025Supplement, Vol. 82, pS1-S2308, 2308p

Relative monads formalised.

Autoři: ALTENKIRCH, THORSTEN CHAPMAN, JAMES UUSTALU, TARMO

Zdroj: Journal of Formalized Reasoning; 2014, Vol. 7 Issue 1, p1-43, 43p

Témata: MONADS (Mathematics), MATHEMATICAL analysis, ALGEBRA, MATHEMATICAL programming, MATHEMATICS theorems

A library for polymorphic dynamic typing.

Autoři: SWIERSTRA, WOUTER VAN NOORT, THOMAS

Zdroj: Journal of Functional Programming; May2013, Vol. 23 Issue 3, p229-248, 20p

Témata: PROGRAMMING languages, TYPEWRITING, LIBRARIES, ARTIFICIAL languages, MORPHING (Computer animation)

Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Autoři: Stefan Kiefer Christine Tasson

Resource Type: eBook.

Témata: Software engineering--Congresses, Computer software--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Speech & Audio Processing