Mayer Goldberg

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 2

Top Topics

Ellipse Detection

Experimental Study

Propositional Logic

Top Venues

Log. Methods Comput. Sci.

Publications

Mayer Goldberg
A Spigot-Algorithm for Square-Roots: Explained and Extended. CoRR (2023)
Mayer Goldberg
Ellipses and Lambda Definability. Log. Methods Comput. Sci. 11 (3) (2015)
Mayer Goldberg, Guy Wiener
A Declarative Approach for Software Modeling. PADL (2012)
Mayer Goldberg, Guy Wiener
Generating Code for Associations Supporting Operations on Multiple Instances. ENASE (Selected Papers) (2010)
Mayer Goldberg, Guy Wiener
Round-Trip Modeling Using OPM/PL. SwSTE (2010)
Mayer Goldberg, Guy Wiener
Generating Flexible Code for Associations. ENASE (2010)
Olivier Danvy, Mayer Goldberg
There and Back Again. Fundam. Informaticae 66 (4) (2005)
Mayer Goldberg
A Variadic Extension of Curry's Fixed-Point Combinator. High. Order Symb. Comput. 18 (3-4) (2005)
Mayer Goldberg
A construction of one-point bases in extended lambda calculi. Inf. Process. Lett. 89 (6) (2004)
Mayer Goldberg, Mads Torgersen
How to Circumvent Church Numerals. Nord. J. Comput. 9 (1) (2002)
Mads Sig Ager, Olivier Danvy, Mayer Goldberg
A Symmetric Approach to Compilation and Decompilation. The Essence of Computation (2002)
Olivier Danvy, Mayer Goldberg
There and back again. ICFP (2002)
Mayer Goldberg
Theoretical Pearl: An adequate and efficient left-associated binary numeral system in the Lambda-calculus. J. Funct. Program. 10 (6) (2000)
Mayer Goldberg
Gödelization in the lambda calculus. Inf. Process. Lett. 75 (1-2) (2000)
Olivier Danvy, Mayer Goldberg
Partial Evaluation of the Euclidian Algorithm. LISP Symb. Comput. 10 (2) (1997)