Permalink
Switch branches/tags
Nothing to show
Find file
Fetching contributors…
Cannot retrieve contributors at this time
224 lines (205 sloc) 7.96 KB
- title: "A Play on Regular Expressions (Functional Pearl)"
author:
- "Sebastian Fischer"
- "Frank Huch"
- "Thomas Wilke"
year: 2010
booktitle: "Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming (ICFP'10)"
publisher: "ACM Press"
url: "http://sebfisch.github.com/haskell-regexp/regexp-play.pdf"
extra:
- label: "slides"
url: "http://sebfisch.github.com/haskell-regexp/regexp-talk.pdf"
- label: "video"
url: "http://vimeo.com/16541829"
bib:
InProceedings: Fischer+ICFP10
- title: "On Functional Logic Programming and its Application to Testing"
author: "Sebastian Fischer"
year: 2010
booktitle: "Dissertation zur Erlangung des akademischen Grades Doktor der Naturwissenschaften (Dr.rer.nat.)"
publisher: "Christian-Albrechts University of Kiel, Germany"
url: "http://www-ps.informatik.uni-kiel.de/~sebf/thesis.pdf"
extra:
- label: "slides"
url: "http://www-ps.informatik.uni-kiel.de/~sebf/defense.pdf"
- label: "notes"
url: "http://www-ps.informatik.uni-kiel.de/~sebf/defensenotes.pdf"
bib:
PhdThesis: FischerDiss
- title: "The Pull-Tab Transformation"
author:
- "Abdulla Alqaddoumi"
- "Sergio Antoy"
- "Sebastian Fischer"
- "Fabian Reck"
year: 2010
booktitle: "Preproceedings of the Third International Workshop on Graph Computation Models (GCM'10)"
url: "http://web.cecs.pdx.edu/~antoy/homepage/publications/gcm10/paper.pdf"
bib:
InProceedings: Alqaddoumi+10
- title: "Reinventing Haskell Backtracking"
author: "Sebastian Fischer"
year: 2009
booktitle: "Informatik 2009, Im Fokus das Leben (ATPS'09)"
publisher: "GI Edition"
url: "http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/atps09.pdf"
extra:
- label: "abstract"
url: "http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/atps09-abstract.pdf"
bib:
InProceedings: FischerATPS09
- title: "Purely Functional Lazy Non-deterministic Programming"
author:
- "Sebastian Fischer"
- "Oleg Kiselyov"
- "Chung-chieh Shan"
year: 2009
booktitle: "Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming (ICFP'09)"
publisher: "ACM Press"
url: "http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/icfp09.pdf"
extra:
- label: "video"
url: "http://vimeo.com/6654722"
bib:
InProceedings: Fischer+ICFP09
- title: "Data-Flow Testing of Declarative Programs"
author:
- "Sebastian Fischer"
- "Herbert Kuchen"
year: 2008
booktitle: "Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming (ICFP'08)"
publisher: "ACM Press"
url: "http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/icfp08.pdf"
extra:
- label: "slides"
url: "http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/icfp08slides.pdf"
bib:
InProceedings: FischerKuchenICFP08
- title: "EasyCheck -- Test Data for Free"
author:
- "Jan Christiansen"
- "Sebastian Fischer"
year: 2008
booktitle: "Proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS'08)"
publisher: "Springer Verlag"
url: "http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/flops08.pdf"
extra:
- label: "slides"
url: "http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/flops08slides.pdf"
bib:
InProceedings: ChristiansenFischerFLOPS08
- title: "From Functional Logic Programs to Purely Functional Programs Preserving Laziness"
author:
- "Bernd Braßel"
- "Sebastian Fischer"
year: 2008
note: "accepted for publication in the post-proceedings of the 20th International Symposium on the Implementation and Application of Functional Languages (IFL'08)"
url: "http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/ifl08.pdf"
bib:
Unpublished: BrasselFischerIFL08
- title: "Lazy Call-By-Value Evaluation"
author:
- "Bernd Braßel"
- "Sebastian Fischer"
- "Michael Hanus"
- "Frank Huch"
- "German Vidal"
year: 2007
booktitle: "Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming (ICFP'07)"
publisher: "ACM Press"
url: "http://www.informatik.uni-kiel.de/~mh/papers/ICFP07.pdf"
bib:
InProceedings: Brassel+ICFP07
- title: "Preserving Sharing in the Partial Evaluation of Lazy Functional Programs"
author:
- "Sebastian Fischer"
- "Josep Silva"
- "Salvador Tamarit"
- "German Vidal"
year: 2007
booktitle: "Proceedings of the 17th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'07)"
publisher: "Springer Verlag"
url: "http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/lopstr07.pdf"
bib:
InProceedings: Fischer+LOPSTR07
- title: "Systematic Generation of Glass-Box Test Cases for Functional Logic Programs"
author:
- "Sebastian Fischer"
- "Herbert Kuchen"
year: 2007
booktitle: "Proceedings of the 9th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'07)"
publisher: "ACM Press"
url: "http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/ppdp07.pdf"
extra:
- label: "slides"
url: "http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/ppdp07slides.pdf"
bib:
InProceedings: FischerKuchenPPDP07
- title: "Declaring Numbers"
author:
- "Bernd Braßel"
- "Sebastian Fischer"
- "Frank Huch"
year: 2007
booktitle: "Proceedings of the 16th Workshop on Functional and (Constraint) Logic Programming (WFLP'07)"
publisher: "Elsevier"
url: "http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/wflp07.pdf"
extra:
- label: "slides"
url: "http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/wflp07slides.pdf"
bib:
InProceedings: Brassel+WFLP07
- title: "Implementing Relational Specifications in a Constraint Functional Logic Language"
author:
- "Rudolf Berghammer"
- "Sebastian Fischer"
year: 2006
booktitle: "Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming (WFLP'06)"
publisher: "Elsevier"
url: "http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/wflp06rel.pdf"
bib:
InProceedings: BerghammerFischerWFLP06
- title: "Lazy Database Access with Persistent Predicates"
author: "Sebastian Fischer"
year: 2006
booktitle: "Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming (WFLP'06)"
publisher: "Elsevier"
url: "http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/wflp06db.pdf"
bib:
InProceedings: FischerWFLP06
- title: "Resource-Based Web Applications"
author: "Sebastian Fischer"
year: 2006
booktitle: "Proceedings of the 7th Symposium on Trends in Functional Programming (TFP'06)"
publisher: "Intellect"
url: "http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/tfp06.pdf"
bib:
InProceedings: FischerTFP06
- title: "A Program Transformation for Tracing Functional Logic Computations"
author:
- "Bernd Braßel"
- "Sebastian Fischer"
- "Frank Huch"
year: 2006
booktitle: "Proceedings of the 16th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'06)"
publisher: "Springer Verlag"
url: "http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/lopstr06.pdf"
bib:
InProceedings: Brassel+LOPSTR06
- title: "A Functional Logic Database Library"
author: "Sebastian Fischer"
year: 2005
booktitle: "Proceedings of the 2005 ACM SIGPLAN Workshop on Curry and Functional Logic Programming (WCFLP'05)"
publisher: "ACM Press"
url: "http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/wcflp05.pdf"
bib:
InProceedings: FischerWFLP05
- title: "Functional Logic Programming with Databases"
author: "Sebastian Fischer"
year: 2005
booktitle: "Diplomarbeit"
publisher: "Christian-Albrechts University of Kiel, Germany"
url: "http://www-ps.informatik.uni-kiel.de/~sebf/data/pub/diploma05.pdf"
bib:
MastersThesis: FischerDiploma