Sandro Stucki
According to our database^{1},
Sandro Stucki
authored at least 12 papers
between 2013 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:

at orcid.org
On csauthors.net:
Bibliography
2018
Simplicitly: foundations and applications of implicit function types.
PACMPL, 2018
2016
The Essence of Dependent Object Types.
Proceedings of the A List of Successes That Can Change the World, 2016
2015
Coarsegraining the Dynamics of Ideal Branched Polymers.
Electr. Notes Theor. Comput. Sci., 2015
Rigid Geometric Constraints for Kappa Models.
Electr. Notes Theor. Comput. Sci., 2015
Moment Semantics for Reversible RuleBased Systems.
Proceedings of the Reversible Computation  7th International Conference, 2015
Foldbased fusion as a library: a generative programming pearl.
Proceedings of the 6th ACM SIGPLAN Symposium on Scala, 2015
2014
Mean Quantitative Coverability in Stochastic Graph Transformation Systems.
ECEASST, 2014
Staged parser combinators for efficient data processing.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014
Approximations for Stochastic Graph Rewriting.
Proceedings of the Formal Methods and Software Engineering, 2014
Yinyang: concealing the deep embedding of DSLs.
Proceedings of the Generative Programming: Concepts and Experiences, 2014
Reversible SesquiPushout Rewriting.
Proceedings of the Graph Transformation  7th International Conference, 2014
2013
What are the Odds?: probabilistic programming in Scala.
Proceedings of the 4th Workshop on Scala, 2013