| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 33 |       | João Paulo Fernandes, João Saraiva, Daniel Seidel, Janis Voigtländer: Strictification of circular programs. PEPM 2011: 131-140 |
| 32 | | Daniel Seidel, Janis Voigtländer: Improvements for Free QAPL 2011: 89-103 |
| 31 | | Daniel Seidel, Janis Voigtländer: Refined typing to localize the impact of forced strictness on free theorems. Acta Inf. 48(3): 191-211 (2011) |
| 29 | | Daniel Seidel, Janis Voigtländer: Automatically Generating Counterexamples to Naive Free Theorems. FLOPS 2010: 175-190 |
| 26 | | Jan Christiansen, Daniel Seidel, Janis Voigtländer: Free theorems for functional logic programs. PLPV 2010: 39-48 |
| 25 | | Daniel Seidel, Janis Voigtländer: Proving Properties about Functions on Lists Involving Element Tests. WADT 2010: 270-286 |
| 24 | | Jan Christiansen, Daniel Seidel, Janis Voigtländer: An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry. WFLP 2010: 119-136 |
| 22 | | Daniel Seidel, Janis Voigtländer: Taming Selective Strictness. GI Jahrestagung 2009: 2916-2930 |
| 17 | | Jan Christiansen, Daniel Seidel, Janis Voigtländer: Free theorems for functional logic programs: (abstract only). SIGPLAN Notices 44(11): 7 (2009) |
Selection of 9 from 36 records - Janis Voigtländer has 15 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page