Searching for authors named "Andreas Abel" – sorted by Relevance.
48 documents found, showing 1 through 10.
Next 10 →
-
Tutch User’s Guide
- …Tutch User’s Guide Andreas Abel Version 0.5 alpha Copyright c○ 2000 Andreas Abel Chapter 1…
- Add To MetaCart
-
A Coinductive Formulation of the "Coinduction Theorem" by Michael and Appel
- …A Coinductive Formulation of the "Coinduction Theorem" by Michael and Appel Andreas Abel June 26…
- Add To MetaCart
-
Termination of Mutually Recursive Functions
- …Slide 1 Termination of Mutually Recursive Functions Andreas Abel POP Seminar, CMU Computer…
- Add To MetaCart
-
Termination Checking = Type Checking: Structural Recursion beyond Subterm Ordering
- … Andreas Abel International Summer School Marktoberdorf August 3, 2001 1. Introduction 2. Informal…
- Add To MetaCart
-
foetus – Termination Checker for Simple Functional Programs
- …foetus - Termination Checker for Simple Functional Programs Andreas Abel July 16, 1998 Abstract…
- Cited by 9 (1 self) – Add To MetaCart
-
Type-based termination of generic programs
- …Abstract Type-Based Termination of Generic Programs Andreas Abel Institut für Informatik Ludwig…
- Cited by 2 (0 self) – Add To MetaCart
-
A Third-Order Representation of the λμ-Calculus
- …Slide 1 A Third-Order Representation of the -Calculus Andreas Abel GKLI, LMU Munchen May 04…
- Cited by 1 (0 self) – Add To MetaCart
-
Termination Checking with Types
- … Applications TERMINATION CHECKING WITH TYPES Andreas Abel 1 Abstract. The paradigm of type-based termination…
- Cited by 17 (6 self) – Add To MetaCart
-
Implementing a normalizer using sized heterogeneous types
- …Implementing a Normalizer Using Sized Heterogeneous Types Andreas Abel 1 Institut für Informatik…
- Cited by 2 (1 self) – Add To MetaCart
-
Specification and Verification of a Formal System for Structurally Recursive Functions
- …Specification and Verification of a Formal System for Structurally Recursive Functions Andreas Abel…
- Cited by 5 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
