Last edited by Gugami
Monday, August 3, 2020 | History

5 edition of Proceedings of the 1990 ACM Conference on LISP and Functional Programming found in the catalog.

Proceedings of the 1990 ACM Conference on LISP and Functional Programming

papers presented at the conference, Nice, France, June 27-29, 1990

by ACM Conference on LISP and Functional Programming (1990 Nice, France)

  • 257 Want to read
  • 1 Currently reading

Published by ACM Press in New York .
Written in English

    Subjects:
  • LISP (Computer program language) -- Congresses,
  • Functional programming (Computer science) -- Congresses

  • Edition Notes

    Other titlesLFP "90.
    Statementsponsored by the Association for Computing Machinery ... [et al.] in cooperation with SIGSAM.
    GenreCongresses.
    ContributionsAssociation for Computing Machinery.
    Classifications
    LC ClassificationsQA76.73.L23 A24 1990
    The Physical Object
    Paginationviii, 348 p. :
    Number of Pages348
    ID Numbers
    Open LibraryOL18806943M
    ISBN 10089791368X
    LC Control Number92194689
    OCLC/WorldCa22194316

    BibTeX @INPROCEEDINGS{Sitaram90reasoningwith, author = {Dorai Sitaram and Matthias Felleisen}, title = {Reasoning with Continuations II: Full Abstraction for Models of Control}, booktitle = {In Proceedings of the ACM Conference on Lisp and Functional Programming}, year = {}, pages = {}, publisher = {ACM}}. The ACM SIGPLAN International Conference on Functional Programming (ICFP) is an annual academic conference in the field of computer science sponsored by the ACM SIGPLAN, in association with IFIP Working Group (Functional Programming). The conference focuses on functional programming and related areas of programming languages, logic, compilers .

    CiteSeerX - Document Details (Isaac Councill, Lee Giles, Pradeep Teregowda): This paper presents a module system designed for largescale programming in Scheme. The module system separates specifications of objects from their implementations, permitting the separate development, compilation, and testing of modules. The module system also includes a robust . 8. Also see the proceedings of the biannual ACM Lisp and Functional Programming conferences, the implementation notes for CMU Common Lisp, Peter Norvig's book ("Paradigms of AI Programming: Case Studies in Common Lisp", Morgan Kaufmann, pages. ISBN ), and SICP (Abelson & Sussman). 9.

    Proceedings of the ACM conference on LISP and functional programming, , Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of Conference on Functional Programming Languages and Computer Architecture. In Proceedings of the ACM Conference on Lisp and Functional Programming, , June Carl Bruggeman, Oscar Waddell, and R. Kent Dybvig. Representing control in the presence of one-shot continuations. In Proceedings of the SIGPLAN '96 Conference on Programming Language Design and Implementation, , May


Share this book
You might also like
The year in music

The year in music

[Republican presidential campaign of 1944 pamphlets].

[Republican presidential campaign of 1944 pamphlets].

Re-appraisal

Re-appraisal

First

First

Women, men, and society

Women, men, and society

Renvoi in modern English l

Renvoi in modern English l

New outlook on existence

New outlook on existence

Type face catalogue.

Type face catalogue.

Miramichi poet

Miramichi poet

Putting it all Together

Putting it all Together

The Delaney/Dunne reunion, 1978

The Delaney/Dunne reunion, 1978

National policy on disability, 2006-2010.

National policy on disability, 2006-2010.

And now all this ...

And now all this ...

Studies on experimental models

Studies on experimental models

Silicon compounds

Silicon compounds

Proceedings of the 1990 ACM Conference on LISP and Functional Programming by ACM Conference on LISP and Functional Programming (1990 Nice, France) Download PDF EPUB FB2

Proceedings of the ACM conference on LISP and functional programming. [ACM Special Interest Group on Algorithms and Computation Theory.; Association for Computing Machinery Special Interest Group on Artificial Intelligence; Association for Computing Machinery Special Interest Group on Programming Languages; Association for Computing.

Proceedings of the ACM Conference on LISP and Functional Programming: papers presented at the conference, Nice, France, JuneAuthor: Association for Computing Machinery. Proceedings of the ACM Conference on LISP and Functional Programming, LFPNice, France, June ACMISBN X.

D.K. Gifford and J. Lucassen, integrating functional and imperative programming. in A CM Conference on Lisp and Functional Programming, pp. Cambridge, Massachusetts, August Google Scholar Digital Library; GH J. Guzm~n and P. Hudak, Single-threaded polymorphic lambda calculus. Wadler P Comprehending monads Proceedings of the ACM conference on LISP and functional programming, () Thompson S () A logic for Miranda, Formal Aspects of Computing,(), Online publication date: 1-Mar Publication: LFP ' Proceedings of the ACM conference on LISP and functional programming May Pages In Lisp and Functional programming conference, pages ACM, Google Scholar Digital Library; 3.

Hatter, R. Milner, and M. Torte. Proceedings of the ACM conference on LISP and functional programming. May. Datbase programming in Machiavelli--a polymorphic language with static type inference. In SIGMOD Conference on the Management of Data, pagesACM.

SKIM is a computer built to explore pure functional programming, combinators as a machine language and the use of hardware to provide direct support for a high level language.

Its design stresses simplicity and aims at providing minicomputer performance. Proceedings of the ACM Conference on LISP and Functional Programming: papers presented at the conference, Orlando, Florida, June by ACM Conference on LISP and Functional Programming ( Orlando, Fla.); Association for Computing MachineryPages: In: Proceedings ACM Conference on LISP and Functional Programming, pp.

– (August ) Google Scholar Sussman, G.J., Steele Jr., G.L.: Scheme: An interpreter for extended lambda calculus, MEMOMIT AI LAB () Google ScholarCited by: 8. ICFP (International Conference on Functional Programming) is an annual programming language conference.

It is sponsored by the Association for Computing Machinery under the aegis of the ACM Special Interest Group on Programming Languages (), in association with Working Group of the International Federation of Information Processing ().End date: 29 Sep, Get this from a library.

Proceedings of the ACM conference on LISP and functional programming. [ACM Special Interest Group on Algorithms and Computation Theory.; Association for Computing Machinery Special Interest Group on Artificial Intelligence; Association for Computing Machinery Special Interest Group on Programming Languages;].

Hanson, Christopher P. Efficient stack allocation for tail-recursive languages. In Proceedings of ACM Conference on Lisp and Functional Programming, pp. –› Hanson, Christopher P. A syntactic closures macro facility.

Lisp Pointers, 4(3). –› Hardy, Godfrey H. Srinivasa Ramanujan. [16] Johnson, D. Trap architectures for Lisp systems. In Proceedings of the ACM Conference on Lisp and Functional Programming (Nice, France). [17] Johnson, D. The case for a read barrier.

Unpublished. Texas Instruments MSDallas, Tex. [18] Kimbrough, K. and Oren, L. Common Lisp User Interface Environment. Compiler for Common Lisp. ACM Conf. on Lisp and Functional Programming (p. [Chase] Chase, David R.: Safety considerations for storage allocation optimizations.

SIGPLAN ´88 Conf. on Progr. Language Design and Implementation (p. [Common] Steele, Guy L.: Common LISP: The Language.

Digital Press, Burlington MA, BibTeX @INPROCEEDINGS{Danvy90abstractingcontrol, author = {Olivier Danvy and Andrzej Filinski}, title = {Abstracting Control}, booktitle = {In Proceedings of the ACM Conference on LISP and Functional Programming}, year = {}, pages = {}, publisher = {ACM.

Get this from a library. Proceedings of the ACM conference on LISP and functional programming. [Association for Computing Machinery Special Interest Group on Programming Languages; ACM Special Interest Group on Algorithms and Computation Theory.; Association for Computing Machinery Special Interest Group on Artificial Intelligence;].

L. Puel and A. Suárez, Compiling Pattern Matching by Term Decomposition (Proceedings of the ACM Conference on Lisp and Functional Programming). Google Scholar [Steele78]Cited by: In Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming,September J.

Michael Ashley and R. Kent Dybvig. An efficient implementation of multiple return values in Scheme. In Proceedings of the ACM Conference on Lisp and Functional Programming,June Alan Bawden. Campbell, JA & Fitch, JPSymbolic Computing with and without LISP. in LFP '80 Proceedings of the ACM conference on LISP and functional programming.

Association for Computing Machinery, New York, pp. LISP Conference, Stanford, 1/01/Cited by: 3. Proceedings of the biannual ACM Lisp and Functional Programming Conference. (First one was in ) 4. Proceedings of the annual Lisp Users and Vendors Conference.

Implementation-specific questions: 1. Lucid. See the file .BibTeX @INPROCEEDINGS{And90efficientmethod, author = {Gregor Kiczales And and Gregor J. Kiczales and Luis H. Rodriguez and Gregor Kiczales and Luis Rodriguez}, title = {Efficient Method Dispatch in PCL}, booktitle = {In Proceedings of the ACM Conference on Lisp and Functional Programming (), ACM}, year = {}, pages = {}}.J.

Hannan and D. Miller. From operational semantics to abstract machines: preliminary results. In M. Wand, editor, Proceedings of the ACM Conference on Lisp and Functional Programming, pages –, ACM, ACM Press, Google ScholarCited by: