Search results
Jump to navigation
Jump to search
- === 17:30, Theorems for free, Dr. Janis Voigtlaender TU-Dresden ===3 KB (391 words) - 19:44, 3 April 2008
- ...ight-program-inversion.pdf Lightweight Program Inversion]</strong><br/><em>Janis Voigtländer (University of Bonn)</em></td> </tr> <tr> <td>14:00</td> <3 KB (477 words) - 12:54, 17 December 2012
- [[User:Janis|Janis]] 11:10, 17 July 2007 (UTC) :11 KB (1,836 words) - 02:36, 25 September 2007
- :Janis Voigtländer, International Conference on Functional Programming, Proceedin :Patricia Johann and Janis Voigtländer, Fundamenta Informaticae, vol. 69(1-2), pp. 63-102, 2006.19 KB (2,599 words) - 00:14, 15 June 2023
- :Patricia Johann and Janis Voigtländer, Fundamenta Informaticae, vol. 69(1-2), pp. 63-102, 2006. :Janis Voigtländer and Patricia Johann, Theoretical Computer Science, vol. 388(1-26 KB (3,569 words) - 10:04, 1 September 2022
- | Janis Voigtländer (Uni Bonn)4 KB (458 words) - 07:32, 8 May 2020
- * [http://www.iai.uni-bonn.de/~jv/ Janis Voigtländer]8 KB (1,251 words) - 05:43, 1 September 2022
- ...k over until the December 2007 edition. [http://www.janis-voigtlaender.eu/ Janis Voigtländer], first at Technische Universität Dresden, then at the Univer13 KB (1,772 words) - 12:21, 27 September 2022
- :Janis Voigtländer, International Conference on Functional Programming, Proceedin :Janis Voigtländer. Mathematics of Program Construction (MPC'08), Proceedings, LN14 KB (1,953 words) - 00:54, 5 June 2022
- ...0.1145/1596550.1596577 Free Theorems Involving Type Constructor Classes] - Janis Voigtländer. ...ttp://dx.doi.org/10.1145/1480881.1480904 Bidirectionalization for Free!] - Janis Voigtländer.20 KB (2,961 words) - 16:50, 6 February 2024
- :Janis Voigtländer. International Conference on Functional Programming (ICFP'09), :Richard Bird, Jeremy Gibbons, Stefan Mehner, Tom Schrijvers, and Janis Voigtländer. Haskell Symposium 2013 (Haskell'13), Proceedings, ACM Press,18 KB (2,331 words) - 09:02, 1 September 2022
- :Janis Voigtländer. Workshop on Partial Evaluation and Program Manipulation (PEPM11 KB (1,480 words) - 16:36, 1 August 2021
- <li><p><em>Generating free theorems</em>. Janis Voigtlaender78 KB (11,405 words) - 03:19, 11 February 2008
- </em>. Janis Voigtlaender93 KB (13,836 words) - 23:40, 14 August 2019
- found in Janis Voigtländer’s paper [http://doi.acm.org/10.1145/1480881.1480904 Bidirect179 KB (29,519 words) - 16:10, 30 December 2022