1
0
0
News
Video: Janis Voigtlaender, "Minitutorial: BX in PL"
www.birs.ca
Janis Voigtlaender speaking at BIRS workshop, Bi-directional transformations (BX) – Theory and Applications Across Disciplines, on Monday, ...
Videos from 13w5115: Bi-directional transformations (BX)Banff International Research Station
www.birs.ca
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
www.wikicfp.com
TFP : 15th Symposium on Trends in Functional Programming
Private Homepages
Janis Voigtländer - Homepagejanis-voigtlaender.eu
janis-voigtlaender.eu
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 ...
Bücher
Language Engineering and Rigorous Software Development: International...
books.google.de
This book offers three lectures on type theory from the International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development:...
Declarative Programming and Knowledge Management: Conference on...
books.google.de
Free Theorems Simply, via Dinaturality Janis Voigtländer(B) University of Duisburg-Essen, Duisburg, Germany janis.voigtlaender ...
Dokumente zum Namen
From wand at ccs.neu.edu Tue Jan 5 10:02: From ...
lists.ccs.neu.edu
... 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 ...
From zxq9@REDACTED Fri Nov 1 08:31: From: zxq9@REDACTED ...erlang.org › pipermail › erlang-questions › November
erlang.org
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 ...
Understanding Idiomatic Traversals Backwards and ForwardsUniversity of Oxford
www.cs.ox.ac.uk
von R Bird · · Zitiert von: 30 — Understanding Idiomatic Traversals Backwards and Forwards. Richard Bird‚ Jeremy Gibbons‚ Stefan Mehner‚ Janis Voigtlaender and Tom Schrijvers ... › publica...
CfP - the SEAS Mailman mailing list server. - University of ...
lists.seas.upenn.edu
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, ...
Wissenschaftliche Veröffentlichungen
TUD - Fakultät Informatik - Wissenschaftliche Vorträge
www.inf.tu-dresden.de
Wissenschaftliche Vorträge
WFLP Final Call for Papers from Janis Voigtlaender on...
www-ps.informatik.uni-kiel.de
From : Janis Voigtlaender <jv_at_informatik.uni-bonn.de> Date : Tue, 21 Jun :49:22 + Register an abstract within the next
Call for Participation: WFLP and co-located events from Janis...
www-ps.informatik.uni-kiel.de
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
Veröffentlichungen allgemein
Parametricity - formulasearchengine
formulasearchengine.com
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
TFPIE – Openresearch
www.openresearch.org
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.
Artikel & Meinungen
Wikipedia: Parametricity - Wikipedia
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 ...
Functional MetaPost | blog :: Brent -> [String]
byorgey.wordpress.com
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 ...
A Neighborhood of Infinity: The Mother of all Monads
blog.sigfpe.com
... 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.
Sonstiges
[Haskell] ANNOUNCE: Haskell Communities and Activities Report (16th...
mail.haskell.org
[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
Janis Voigtlaender - researchr alias
researchr.org
Publications by 'Janis Voigtlaender'. Publications; Advised. No publications in this list. About · Contact · Credits · Help · Web Service API · Blog · FAQ · Feedback.
Main / Janis Voigtlaender - Program-Transformation.OrgProgram-Transformation.Org
www.program-transformation.org
› ...
Janis Voigtlaender - Marc.info
marc.info
Viewing messages posted by 'Janis Voigtlaender <jv () informatik ! uni-bonn ! de>' (18 msg) [1] [Haskell] WLP/WFLP - Call for Participation ...
User Janis Voigtlaender - Stack Exchange
stackexchange.com
We make Stack Overflow and 170+ other community-powered Q&A sites.
A Family Of Syntactic Logical Relations For The Semantics Of ...University of North Carolina at Greensboro
libres.uncg.edu
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_...
NSF Award Search: Award # RUI: Provable Safety ...National Science Foundation (.gov)
www.nsf.gov
Patricia Johann and Janis Voigtlaender "The Impact of seq on free theorems-based program transformations" Fundamenta Informaticae, special issue on program ... › awardsearch
Parametricity Theorem, relational interpretation of constant typesUniversity of Pennsylvania
www.seas.upenn.edu
To: Janis Voigtlaender ; Subject: Re: Parametricity Theorem, relational interpretation of constant types; From: Andrew Pitts ... › types
IFL Program - IFL 2015
ifl2015.wikidot.com
Monday, 14 September. Registration: ; Morning session 1: ("Monads"; Session chair Janis Voigtlaender). "The Table Monad in Haskell" by ...
PEPM Web Changes
program-transformation.org
Advice, 01 May :11, Janis Voigtlaender · Historical Statistics, 13 Feb
2013 Workshop Videos | Banff International Research Station
www.birs.ca
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" ...
No Title
cs.appstate.edu
Patricia Johann, Alex Simpson, and Janis Voigtlaender. Proceedings, Logic in Computer Science (LICS'10), pp [pdf]. [29] Haskell Programming ...
[Haskell-cafe] Why 'round' does not just round numbers ?
www.mail-archive.com
Janis Voigtlaender. Re: [Haskell-cafe] ... Janis Voigtlaender. Re: [Haskell-cafe] Why 'round' does no... Janis Voigtlaender. Re: [Haskell-cafe] ...
Boost interest mailing page: [Boost-interest] PEPM 2013: Call for...
lists.boost.org
Janis Voigtlaender (University of Bonn, Germany) * Dana N. Xu (Inria, France). PRELIMINARY PROGRAM. Monday, January 21,
CFP: WFLP – Association for Logic Programming
www.cs.nmsu.edu
Janis Voigtlaender University of Bonn, Germany. CONTACT Michael Hanus, University of Kiel, Germany, -kiel.de ...
www.researchgate.net › Janis-Voigtlaender Janis Voigtländer's research works - ResearchGate
www.researchgate.net
Janis Voigtländer's 3 research works with 4 reads, including: Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, ...
HART Web Changes
strategoxt.org
Program Committee, 06 Mar :53, Janis Voigtlaender · Invited Talks, 14 Feb :17, Janis Voigtlaender · Call For Papers, 11 Feb :
Verwandte Suchanfragen zu Janis Voigtlaender
Alex Simpson |
Person "Voigtlaender" (1) Vorname "Janis" (2255) Name "Voigtlaender" (66) |
sortiert nach Relevanz / Datum