Barry Jay

According to our database, Barry Jay authored at least 13 papers between 2008 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2019

Intensional computation with higher-order functions.

Barry Jay

Theor. Comput. Sci., 2019

A simpler lambda calculus.

Barry Jay

Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2019

2018

Self-Quotation in a Typed, Intensional Lambda-Calculus.

Barry Jay

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Recursive programs in normal form (short paper).

Barry Jay

Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2018

2017

Conflicting accounts of λ-definability.

Barry Jay, Jose Vergara

J. Log. Algebraic Methods Program., 2017

2016

Programs as Data Structures in λSF-Calculus.

Barry Jay

Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016

2014

Confusion in the Church-Turing Thesis.

Barry Jay, Jose Vergara

CoRR, 2014

A Concurrent Pattern Calculus.

Thomas Given-Wilson, Daniele Gorla, Barry Jay

Log. Methods Comput. Sci., 2014

2013

Growing a Language in Pattern Calculus.

Barry Jay, Jose Vergara

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Multi-polymorphic programming in bondi.

Thomas Given-Wilson, Freeman Huang, Barry Jay

Proceedings of the 9th ACM SIGPLAN workshop on Generic programming, 2013

2011

A combinatory account of internal structure.

Thomas Given-Wilson, Barry Jay

J. Symb. Log., 2011

2009

Pattern Calculus - Computing with Functions and Structures.

Barry Jay

Springer, ISBN: 978-3-540-89184-0, 2009

2008

Scrap Your Type Applications.

Barry Jay, Simon L. Peyton Jones

Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008