Daniel Seidel Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tristan Jenkinson, J. K. Truss, Daniel Seidel: Countable homogeneous multipartite graphs. Eur. J. Comb. 33(1): 82-109 (2012)
2011
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daniel Seidel, Janis Voigtländer: Refined typing to localize the impact of forced strictness on free theorems. Acta Inf. 48(3): 191-211 (2011)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
João Paulo Fernandes, João Saraiva, Daniel Seidel, Janis Voigtländer: Strictification of circular programs. PEPM 2011: 131-140
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Christiansen, Daniel Seidel: Minimally strict polymorphic functions. PPDP 2011: 53-64
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daniel Seidel, Janis Voigtländer: Improvements for Free. QAPL 2011: 89-103
2010
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daniel Seidel, Janis Voigtländer: Automatically Generating Counterexamples to Naive Free Theorems. FLOPS 2010: 175-190
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Christiansen, Daniel Seidel, Janis Voigtländer: Free theorems for functional logic programs. PLPV 2010: 39-48
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daniel Seidel, Janis Voigtländer: Proving Properties about Functions on Lists Involving Element Tests. WADT 2010: 270-286
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Christiansen, Daniel Seidel, Janis Voigtländer: An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry. WFLP 2010: 119-136
2009
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan Christiansen, Daniel Seidel, Janis Voigtländer: Free theorems for functional logic programs: (abstract only). SIGPLAN Notices 44(11): 7 (2009)
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daniel Seidel, Janis Voigtländer: Taming Selective Strictness. GI Jahrestagung 2009: 2916-2930

Coauthor Index

1Jan Christiansen
[c7] [c4] [c2] [j1]
2João Paulo Fernandes
[c8]
3Tristan Jenkinson
[j3]
4João Saraiva
[c8]
5J. K. Truss
[j3]
6Janis Voigtländer
[j2] [c8] [c6] [c5] [c4] [c3] [c2] [j1] [c1]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Mon May 20 17:36:29 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page