73 Infos zu Janis Voigtlaender

3 Aktuelle Nachrichten

Janis Voigtlaender speaking at BIRS workshop, Bi-directional transformations (BX) – Theory and Applications Across Disciplines, on Monday, ...

Videos from BIRS Workshop. Janis Voigtlaender, University of Bonn. Monday Dec 2, : :16. Minitutorial: BX in PL. › events › vid...

TFP : 15th Symposium on Trends in Functional Programming

2 Profile in Sozialen Netzwerken

› user

Snipview.com - a knowledge network

4 Persönliche Webseiten

Janis Voigtländer · Home Teaching Research / Projects Talks Papers PCs etc. Homepage. This was my homepage when I was at the University of Bonn (until ...

› research

› Voi05

› xml09 › slides

2 Bücher zum Namen

This book offers three lectures on type theory from the International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development:...

Free Theorems Simply, via Dinaturality Janis Voigtländer(B) University of Duisburg-Essen, Duisburg, Germany janis.voigtlaender ...

5 Dokumente

... conferences around the world, including CanSecWest, BlackHat and Recon the administration of public Norwegian schools of music, theatre, and visual arts Scotland > Janis Voigtlaender University of Bonn, Germany > Viktoria Zsok ...

I reckon the problem I?m looking to address is intrinsically concurrent and if ... FP and Artificial Intelligence FP in Robotics FP and Music Advanced FP for ... USA Janis Voigtlaender - University of Duisburg-Essen Viktoria Zsok ...

von R Bird · · Zitiert von: 30 — Understanding Idiomatic Traversals Backwards and Forwards. Richard Bird‚ Jeremy Gibbons‚ Stefan Mehner‚ Janis Voigtlaender and Tom Schrijvers ... › publica...

This tutorial will be *hands-on*, with breaks for exercises; participants are strongly USA G?nter Kniesel (co-chair), University of Bonn, Germany Ralf L?mmel, ... In 2008, TOOLS EUROPE will be co-located with several other events, Apr 4 04:10: From: voigt at tcs.inf.tu-dresden.de (Janis Voigtlaender) Date: Fri, ...

11 Wissenschaftliche Publikationen

Wissenschaftliche Vorträge

From : Janis Voigtlaender <jv_at_informatik.uni-bonn.de> Date : Tue, 21 Jun :49:22 + Register an abstract within the next

Academic Talks

Aug 01, · From: Janis Voigtlaender <jv_at_informatik.uni-bonn.de - Date: Mon, 1 Aug :25:53 + th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2016) https://wflp2016.github.io/ September , part of the

2 Allgemeine Veröffentlichungen

In their paper "Free theorems in the presence of seq", Patricia Johann and Janis Voigtlaender showed that because of the presence of these operations, the general parametricity theorem does not hold for Haskell programs; thus, these transformations are unsound in general. Parametricity and dependent types. Template:Expand section. See also

Olaf Chitil, Youyou Cong, Marko van Eekelen, Marco T. Morazan, Sharon Tuttle, Janis Voigtlaender, Viktoria Zsok: Table of Contents Welcome! The edition of Trends in Functional Programming in Education will be held in Krakow Poland, co-located with TFP. TFPIE takes place on the 12th of February, followed by TFP on February.

4 Meinungen & Artikel

In programming language theory, parametricity is an abstract uniformity property enjoyed by ... the presence of seq", Patricia Johann and Janis Voigtlaender showed that because of the presence of these operations, the general parametricity ...

Janis Voigtlaender says: September 23, at 7:31 am. Not much help to you, but Functional MetaPost works very nicely for me. I don't know ...

... in the monad. Janis Voigtlaender has a paper on the topic, in which you'll recognize the type 'C' that he uses as the Codensity monad above.

36 Webfunde aus dem Netz

[Haskell] ANNOUNCE: Haskell Communities and Activities Report (16th ed., May 2009) Janis Voigtlaender voigt at tcs.inf.tu-dresden.de Tue May :12:58 EDT 2009

Publications by 'Janis Voigtlaender'. Publications; Advised. No publications in this list. About · Contact · Credits · Help · Web Service API · Blog · FAQ · Feedback.

› ...

Viewing messages posted by 'Janis Voigtlaender <jv () informatik ! uni-bonn ! de>' (18 msg) [1] [Haskell] WLP/WFLP - Call for Participation ...

Quazoo.com - a knowledge network

We make Stack Overflow and 170+ other community-powered Q&A sites.

von P Johann · Zitiert von: 7 — By: Patricia Johann & Janis Voigtlaender. Abstract. Logical relations are a fundamental and powerful tool for reasoning about programs in languages with. › asu › Johann_Patricia_...

Patricia Johann and Janis Voigtlaender "The Impact of seq on free theorems-based program transformations" Fundamenta Informaticae, special issue on program ... › awardsearch

To: Janis Voigtlaender ; Subject: Re: Parametricity Theorem, relational interpretation of constant types; From: Andrew Pitts ... › types

Monday, 14 September. Registration: ; Morning session 1: ("Monads"; Session chair Janis Voigtlaender). "The Table Monad in Haskell" by ...

Advice, 01 May :11, Janis Voigtlaender · Historical Statistics, 13 Feb

Gregory Beylkin, University of Colorado Boulder. Monday Dec 9, : : Video: Janis Voigtlaender, "Minitutorial: BX in PL" Holger Giese, Hasso Plattner Institute für Softwaresystemtechnik GmbH George Haller, ETH Zurich. Monday Video: Young-Han Kim, "On the capacity region for index coding" ...

Patricia Johann, Alex Simpson, and Janis Voigtlaender. Proceedings, Logic in Computer Science (LICS'10), pp [pdf]. [29] Haskell Programming ...

Janis Voigtlaender. Re: [Haskell-cafe] ... Janis Voigtlaender. Re: [Haskell-cafe] Why 'round' does no... Janis Voigtlaender. Re: [Haskell-cafe] ...

Janis Voigtlaender (University of Bonn, Germany) * Dana N. Xu (Inria, France). PRELIMINARY PROGRAM. Monday, January 21,

Janis Voigtlaender University of Bonn, Germany. CONTACT Michael Hanus, University of Kiel, Germany, -kiel.de ...

› comp

CHANGELOG in category-extras located at

Janis Voigtländer's 3 research works with 4 reads, including: Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, ...

Program Committee, 06 Mar :53, Janis Voigtlaender · Invited Talks, 14 Feb :17, Janis Voigtlaender · Call For Papers, 11 Feb :