UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

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

Journal of functional programming, 2013-09, Vol.23 (5), p.552-593

BRADY, EDWIN

2013

Volltextzugriff (PDF)

Intelligent Computer Mathematics: 12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings

1st Edition 2019, 2019

Volltextzugriff (PDF)

Value-Dependent Session Design in a Dependently Typed Language

Electronic proceedings in theoretical computer science, 2019-01, Vol.291 (Proc. PLACES 2019), p.47-59

2019

Volltextzugriff (PDF)

Sequential decision problems, dependent types and generic solutions

Logical methods in computer science, 2017, Vol.13 (1)

2017

Volltextzugriff (PDF)

TYPE-DRIVEN DEVELOPMENT OF CONCURRENT COMMUNICATING SYSTEMS

Computer science : annual of University of Mining and Metallurgy, 2017, Vol.18 (3), p.219

Brady, Edwin

2017

Volltextzugriff (PDF)

Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software: Dependent Types for Correct Concurrent Programming (Invited Talk)

Electronic proceedings in theoretical computer science, 2017-04, Vol.246, p.2-2

Brady, Edwin

2017

Volltextzugriff (PDF)

The Idris Programming Language: Implementing Embedded Domain Specific Languages with Dependent Types

Central European Functional Programming School, 2015, p.115-186

2015

Volltextzugriff (PDF)

Comparing Machine Learning Models to Choose the Variable Ordering for Cylindrical Algebraic Decomposition

Intelligent Computer Mathematics, 2019, Vol.11617, p.93-108

2019

Volltextzugriff (PDF)

Programming and reasoning with algebraic effects and dependent types

SIGPLAN notices, 2013-11, Vol.48 (9), p.133-144

Brady, Edwin

2013

Volltextzugriff (PDF)

Resource-Dependent Algebraic Effects

Trends in Functional Programming, 2014, Vol.8843, p.18-33

2014

Volltextzugriff (PDF)

The Coq Library as a Theory Graph

Intelligent Computer Mathematics, 2019, Vol.11617, p.171-186

2019

Volltextzugriff (PDF)

Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols

Fundamenta informaticae, 2010, Vol.102 (2), p.145-176

2010

Volltextzugriff (PDF)

Lemma Discovery for Induction: A Survey

12th International Conference on Intelligent Computer Mathematics, CICM 2019, Prague, Czech Republic, 2019, Vol.11617 LNAI, p.125-139

2019

Volltextzugriff (PDF)

MMTTeX: Connecting Content and Narration-Oriented Document Formats

Intelligent Computer Mathematics, 2019, Vol.11617, p.205-210

2019

Volltextzugriff (PDF)

Automatically Proving Equivalence by Type-Safe Reflection

Intelligent Computer Mathematics, 2017, Vol.10383, p.40-55

2017

Volltextzugriff (PDF)

Elaborator reflection: extending Idris in Idris

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016, p.284-297

2016

Volltextzugriff (PDF)

Subtype polymorphism à la carte via machine learning on dependent types

Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018, p.14-16

2018

Volltextzugriff (PDF)

Resource-Safe systems programming with embedded domain specific languages

Practical Aspects of Declarative Languages, 2012, p.242-257

2012

Volltextzugriff (PDF)

Programming and reasoning with algebraic effects and dependent types

Proceedings of the 18th ACM SIGPLAN international conference on Functional programming, 2013, p.133-144

Brady, Edwin

2013

Volltextzugriff (PDF)

Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation

SIGPLAN notices, 2010-09, Vol.45 (9), p.297-308

2010

Volltextzugriff (PDF)

Ivor, a Proof Engine

Implementation and Application of Functional Languages, p.145-162

Volltextzugriff (PDF)

Interaction with Formal Mathematical Documents in Isabelle/PIDE

Intelligent Computer Mathematics, 2019, Vol.11617, p.1-15

2019

Volltextzugriff (PDF)

Forms of Plagiarism in Digital Mathematical Libraries

Intelligent Computer Mathematics, 2019, Vol.11617, p.258-274

2019

Volltextzugriff (PDF)

Inductive Families Need Not Store Their Indices

Lecture notes in computer science, 2004, p.115-129

2004

Volltextzugriff (PDF)

A Tale of Two Set Theories

Intelligent Computer Mathematics, 2019, Vol.11617, p.44-60

2019

Volltextzugriff (PDF)

1 – 25 von 150

Menü

Weitere Dienste

Einstellungen

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

Intelligent Computer Mathematics: 12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings

Value-Dependent Session Design in a Dependently Typed Language

Sequential decision problems, dependent types and generic solutions

TYPE-DRIVEN DEVELOPMENT OF CONCURRENT COMMUNICATING SYSTEMS

Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software: Dependent Types for Correct Concurrent Programming (Invited Talk)

The Idris Programming Language: Implementing Embedded Domain Specific Languages with Dependent Types

Comparing Machine Learning Models to Choose the Variable Ordering for Cylindrical Algebraic Decomposition

Programming and reasoning with algebraic effects and dependent types

Resource-Dependent Algebraic Effects

The Coq Library as a Theory Graph

Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols

Lemma Discovery for Induction: A Survey

MMTTeX: Connecting Content and Narration-Oriented Document Formats

Automatically Proving Equivalence by Type-Safe Reflection

Elaborator reflection: extending Idris in Idris

Subtype polymorphism à la carte via machine learning on dependent types

Resource-Safe systems programming with embedded domain specific languages

Programming and reasoning with algebraic effects and dependent types

Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation

Ivor, a Proof Engine

Interaction with Formal Mathematical Documents in Isabelle/PIDE

Forms of Plagiarism in Digital Mathematical Libraries

Inductive Families Need Not Store Their Indices

A Tale of Two Set Theories

Suchergebnisse filtern