ACM Press

Local database

Publisher

  1. 1989
  2. Published

    Transformations on Higher-order Functions. / Nielson, Hanne Riis; Nielson, Flemming.

    Proc. FPCA'89. ACM Press, 1989. p. 129-143.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1989

  3. 1990
  4. Published

    Context Information for Lazy Code Generation. / Nielson, Hanne Riis; Nielson, Flemming.

    Proc. LISP and Functional Programming. ACM Press, 1990. p. 251-263.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1990

  5. 1991
  6. Published

    A Systematic Kernel Development. / Søgaard-Andersen, Jørgen F.; Rump, Camilla Østerberg; Løvengreen, Hans Henrik.

    ACM Software Engineering Notes. Vol. Vol. 16, No. 5. ACM Press, 1991. p. 55-65.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1991

  7. 1992
  8. Published

    Bounded Fixed Point Iteration. / Nielson, Hanne Riis; Nielson, Flemming.

    Proc. POPL'92. ACM Press, 1992. p. 71-82.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1992

  9. Published

    Finiteness Conditions for Fixed Point Iteration. / Nielson, Hanne Riis; Nielson, Flemming.

    Proc. Lisp and Functional Programming (LFP). ACM Press, 1992. p. 96-108.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1992

  10. Published

    SIGIR '92. Proceedings. / Belkin, N. (Editor); Ingwersen, P. (Editor); Pejtersen, Annelise Mark (Editor).

    New York : ACM Press, 1992. 353 p. (SIGIR Forum Special Issue, 1992).

    Publication: Research - peer-reviewBook – Annual report year: 1992

  11. 1994
  12. Published

    Higher-Order Concurrent Programs with Finite Communication Topology. / Nielson, Hanne Riis; Nielson, Flemming.

    ACM Conference on Principles of Programming Languages. ACM Press, 1994. p. 84-97.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1994

  13. 1996
  14. Published

    Design and Management of Networked Information Systems.. / Havn, Erling; Bansler, Jørgen P.

    Proceedings of the 1996 ACM SIGCPR/SIGMIS Conference. New York : ACM Press, 1996. p. 381-385.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1996

  15. Published

    Noise-Tolerant Learning near the Information-Theoretic Bound. / Cesa-Bianchi, N.; Dichterman, E.; Fischer, Paul; Simon, H.- U.

    Proc. 28th Annual ACM Symposium on Theory of Computing (STOC'96). ACM Press, 1996. p. 141-150.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1996

  16. 1997
  17. Published

    A Prescriptive Framework for Designing Multi-Level Lambda-Calculi. / Nielson, Flemming; Nielson, Hanne Riis.

    Proc. PEPM'97. ACM Press, 1997. p. 193-202.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1997

Previous 1 2 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word