Bidirectionalization for Free! Janis Voigtl¨ ander Technische Universit¨ at Dresden

Source URL: www.janis-voigtlaender.eu

ROLAN DALEX ANDER IßLER Rheinische Friedrich-WilhelmsUniversität Bonn

Source URL: www.romanistik.uni-bonn.de

Änder~ngssa~ung zur Gebührensatzung zur Benutzungsordnung für die städtische Grillanlage vomin der Fassung zur Artikelsatzung zur Einführung des EURO vom 06. November 2001

Source URL: www.bruchkoebel.de

Complement-Based Bidirectionalization J. Voigtl¨ander University of Bonn Dagstuhl Seminar “bx”

Source URL: www.janis-voigtlaender.eu

ALLGEMEINE GESCHÄFTSBEDINGUNGEN 1. Geltungsbereich 1.1 Diese Allgemeinen Geschäftsbedingungen (AGB) sind Grundlage sämtlicher Rechtsgeschäfte zwischen der ITRIS GmbH ("ITRIS") und dem Vertragspartner ("Kunde"). Ander

Source URL: www.itris.de

Proving Correctness via Free Theorems The Case of the destroy/build-Rule Janis Voigtl¨ander Technische Universit¨ at Dresden

Source URL: www.janis-voigtlaender.eu

• Software engineering
• Computer programming
• Declarative programming
• Higher-order functions
• Programming language comparisons
• Recursion
• Fold
• FO
• Haskell features
• Standard ML

Type-Based Reasoning and Imprecise Errors Janis Voigtl¨ ander Technische Universit¨ at Dresden

Source URL: www.janis-voigtlaender.eu

• Software engineering
• Declarative programming
• Data types
• Computing
• Type theory
• Functional programming
• Object-oriented programming
• Polymorphism
• Map
• Ordinal number
• Boolean data type
• CurryHoward correspondence

Anlage 3 Unterrichtung über die Verarbeitung personenbezogener Daten im Einbürgerungsverfahren Um die Voraussetzungen für Ihre Einbürgerung prüfen zu können, werden personenbezogene Daten benötigt, die bei ander

Source URL: www.landkreis-limburg-weilburg.de

Type-Based Reasoning about Efficiency D. Seidel∗ J. Voigtl¨ander

Source URL: www.janis-voigtlaender.eu

• Software engineering
• Type theory
• Declarative programming
• Computer programming
• Functional programming
• Data types
• Polymorphism
• Object-oriented programming
• Map
• Parametric polymorphism
• Constructible universe

Formeel Denken 2006 Uitwerkingen Toets 4: Combinatoriek 1. G is wel samenhangend, want er is van ieder punt een pad naar ieder ander punt. G is niet een boom, want hij bevat de cykel 1 → 2 → 3 → 1 en een boom heeft

Source URL: www.cs.ru.nl