Mayer Goldberg

According to our database, Mayer Goldberg authored at least 14 papers between 1997 and 2023.

Collaborative distances:

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

2023

A Spigot-Algorithm for Square-Roots: Explained and Extended.

Mayer Goldberg

CoRR, 2023

2015

Ellipses and Lambda Definability.

Mayer Goldberg

Log. Methods Comput. Sci., 2015

2012

A Declarative Approach for Software Modeling.

Mayer Goldberg, Guy Wiener

Proceedings of the Practical Aspects of Declarative Languages, 2012

2010

Round-Trip Modeling Using OPM/PL.

Mayer Goldberg, Guy Wiener

Proceedings of the IEEE International Conference on Software Science, 2010

Generating Code for Associations Supporting Operations on Multiple Instances.

Mayer Goldberg, Guy Wiener

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2010

Generating Flexible Code for Associations.

Mayer Goldberg, Guy Wiener

Proceedings of the ENASE 2010, 2010

2005

A Variadic Extension of Curry's Fixed-Point Combinator.

Mayer Goldberg

High. Order Symb. Comput., 2005

2004

A construction of one-point bases in extended lambda calculi.

Mayer Goldberg

Inf. Process. Lett., 2004

2002

How to Circumvent Church Numerals.

Mayer Goldberg, Mads Torgersen

Nord. J. Comput., 2002

There and back again.

Olivier Danvy, Mayer Goldberg

Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

A Symmetric Approach to Compilation and Decompilation.

Mads Sig Ager, Olivier Danvy, Mayer Goldberg

Proceedings of the Essence of Computation, Complexity, Analysis, 2002

2000

Theoretical Pearl: An adequate and efficient left-associated binary numeral system in the Lambda-calculus.

Mayer Goldberg

J. Funct. Program., 2000

Gödelization in the lambda calculus.

Mayer Goldberg

Inf. Process. Lett., 2000

1997

Partial Evaluation of the Euclidian Algorithm.

Olivier Danvy, Mayer Goldberg

LISP Symb. Comput., 1997