Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Daniel Seidel" ( http://dblp.L3S.de/Authors/Daniel_Seidel )

  Author page on DBLP  Author page in RDF  Community of Daniel Seidel in ASPL-2

Publication years (Num. hits)
2009 (2) 2010 (4) 2011 (4) 2012 (1)
Publication types (Num. hits)
article(3) inproceedings(8)
Venues (Conferences, Journals, ...)
Acta Inf.(1) Eur. J. Comb.(1) FLOPS(1) GI Jahrestagung(1) PEPM(1) PLPV(1) PPDP(1) QAPL(1) SIGPLAN Notices(1) WADT(1) WFLP(1)
Authors
Daniel Seidel(11) Janis Voigtländer(9) Jan Christiansen(4) J. K. Truss(1) João Paulo Fernandes(1) João Saraiva(1) Tristan Jenkinson(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Tristan Jenkinson, J. K. Truss, Daniel Seidel Countable homogeneous multipartite graphs. Search on Bibsonomy Eur. J. Comb. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Daniel Seidel, Janis Voigtländer Refined typing to localize the impact of forced strictness on free theorems. Search on Bibsonomy Acta Inf. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Daniel Seidel, Janis Voigtländer Improvements for Free Search on Bibsonomy QAPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1João Paulo Fernandes, João Saraiva, Daniel Seidel, Janis Voigtländer Strictification of circular programs. Search on Bibsonomy PEPM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jan Christiansen, Daniel Seidel Minimally strict polymorphic functions. Search on Bibsonomy PPDP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jan Christiansen, Daniel Seidel, Janis Voigtländer Free theorems for functional logic programs. Search on Bibsonomy PLPV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF haskell, relational parametricity, curry
1Daniel Seidel, Janis Voigtländer Proving Properties about Functions on Lists Involving Element Tests. Search on Bibsonomy WADT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Daniel Seidel, Janis Voigtländer Automatically Generating Counterexamples to Naive Free Theorems. Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jan Christiansen, Daniel Seidel, Janis Voigtländer An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry. Search on Bibsonomy WFLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jan Christiansen, Daniel Seidel, Janis Voigtländer Free theorems for functional logic programs: (abstract only). Search on Bibsonomy SIGPLAN Notices The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Daniel Seidel, Janis Voigtländer Taming Selective Strictness. Search on Bibsonomy GI Jahrestagung The full citation details ... 2009 DBLP  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.