Mayer Goldberg

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