The SCEAS System
Navigation Menu

Search the dblp DataBase


Mayer Goldberg: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mads Sig Ager, Olivier Danvy, Mayer Goldberg
    A Symmetric Approach to Compilation and Decompilation. [Citation Graph (0, 0)][DBLP]
    The Essence of Computation, 2002, pp:296-331 [Conf]
  2. Olivier Danvy, Mayer Goldberg
    There and back again. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:230-234 [Conf]
  3. Olivier Danvy, Mayer Goldberg
    There and Back Again. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:66, n:4, pp:397-413 [Journal]
  4. Mayer Goldberg
    Gödelization in the lambda calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2000, v:75, n:1-2, pp:13-16 [Journal]
  5. Mayer Goldberg
    A construction of one-point bases in extended lambda calculi. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2004, v:89, n:6, pp:281-286 [Journal]
  6. Mayer Goldberg
    Theoretical Pearl: An adequate and efficient left-associated binary numeral system in the Lambda-calculus. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2000, v:10, n:6, pp:607-623 [Journal]
  7. Mayer Goldberg
    A Variadic Extension of Curry's Fixed-Point Combinator. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2005, v:18, n:3-4, pp:371-388 [Journal]
  8. Olivier Danvy, Mayer Goldberg
    Partial Evaluation of the Euclidian Algorithm. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1997, v:10, n:2, pp:101-111 [Journal]
  9. Mayer Goldberg, Mads Torgersen
    How to Circumvent Church Numerals. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2002, v:9, n:1, pp:1-12 [Journal]

  10. Round-Trip Modeling Using OPM/PL. [Citation Graph (, )][DBLP]

Search in 0.001secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002