MMLSpark: Unifying Machine Learning Ecosystems at Massive Scales.
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2018
A programmable programming language.
Commun. ACM, 2018
Flexible and Scalable Deep Learning with MMLSpark.
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 4th International Conference on Predictive Applications and APIs, 2017
Proceedings of the 1st Summit on Advances in Programming Languages, 2015
From Stack Traces to Lazy Rewriting Sequences.
Proceedings of the Implementation and Application of Functional Languages, 2011
Scribble: closing the book on ad hoc documentation tools.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009
Implementing Reflection in Nuprl.
PhD thesis, 2006
Laziness without all the hard work: combining lazy and strict languages for teaching.
Proceedings of the 2005 workshop on Functional and Declarative Programming in Education, 2005
MetaPRL - A Modular Logical Environment.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003
Abstraction as a means for end-user computing in creative applications.
IEEE Trans. Syst. Man Cybern. Part A, 2002