Sebastian Fischer

From MaRDI portal
Person:1941876



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
A clear picture of lens laws
Lecture Notes in Computer Science
2015-08-27Paper
Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures
Journal of Logical and Algebraic Methods in Programming
2015-06-10Paper
A play on regular expressions: functional pearl
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
2015-03-05Paper
Purely functional lazy non-deterministic programming
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
2015-01-06Paper
Lazy call-by-value evaluation
Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
2014-07-21Paper
Declaring numbers
Electronic Notes in Theoretical Computer Science
2014-03-26Paper
Implementing relational specifications in a constraint functional logic language
Electronic Notes in Theoretical Computer Science
2014-01-24Paper
Lazy database access with persistent predicates
Electronic Notes in Theoretical Computer Science
2014-01-24Paper
Purely functional lazy nondeterministic programming
Journal of Functional Programming
2013-04-24Paper
Filter-embedding semiring fusion for programming with MapReduce
Formal Aspects of Computing
2013-03-22Paper
Simple rectangle-based functional programs for computing reflexive-transitive closures
Relational and Algebraic Methods in Computer Science
2012-09-21Paper
Generate, test, and aggregate. A calculation-based framework for systematic parallel programming with MapReduce
Programming Languages and Systems
2012-06-22Paper
Transforming functional logic programs into monadic functional programs
Functional and Constraint Logic Programming
2011-05-27Paper
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs
Logic-Based Program Synthesis and Transformation
2009-01-22Paper
A Program Transformation for Tracing Functional Logic Computations
Logic-Based Program Synthesis and Transformation
2007-09-10Paper


Research outcomes over time


This page was built for person: Sebastian Fischer