Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 38 matches
- 1984
- Lennart Augustsson:
A Compiler for Lazy ML. LISP and Functional Programming 1984: 218-227 - Raymond L. Bates, David Dyer, Mark Feber:
Recent Developments in ISI-Interlisp. LISP and Functional Programming 1984: 129-139 - Françoise Bellegarde:
Rewriting Systems on FP Expressions that Reduce the Number of Sequences They Yield. LISP and Functional Programming 1984: 63-73 - Rodney A. Brooks:
Trading Data Space for Reduced Time and Code Space in Real-Time Garbage Collection on Stock Hardware. LISP and Functional Programming 1984: 256-262 - Rodney A. Brooks, Richard P. Gabriel:
A Critique of Common Lisp. LISP and Functional Programming 1984: 1-8 - Luca Cardelli:
Compiling a Functional Language. LISP and Functional Programming 1984: 208-217 - Jérôme Chailloux, Matthieu Devin, Jean-Marie Hullot:
LE LISP, a Portable and Efficient LISP System. LISP and Functional Programming 1984: 113-122 - William D. Clinger:
The Scheme 311 Compiler: An Exercise in Denotational Semantics. LISP and Functional Programming 1984: 356-364 - Pierre Cointe, Xavier Rodet:
Formes: an Object and Time Oriented System for Music Composition and Synthesis. LISP and Functional Programming 1984: 85-95 - Roger B. Dannenberg:
Arctic: A Functional Language for Real-Time Control. LISP and Functional Programming 1984: 96-103 - Walter Dosch, Bernhard Möller:
Busy and Lazy FP with Infinite Objects. LISP and Functional Programming 1984: 282-292 - Daniel P. Friedman, Mitchell Wand:
Reification: Reflection without Metaphysics. LISP and Functional Programming 1984: 348-355 - Richard P. Gabriel, John McCarthy:
Queue-based Multi-processing Lisp. LISP and Functional Programming 1984: 25-44 - John S. Givler, Richard B. Kieburtz:
Schema Recognition for Program Transformations. LISP and Functional Programming 1984: 74-84 - Allen Goldberg, Robert Paige:
Stream Processing. LISP and Functional Programming 1984: 53-62 - Ralph E. Griswold:
Expression Evaluation in the ICON Programming Language. LISP and Functional Programming 1984: 177-183 - Robert H. Halstead Jr.:
Implementation of Multilisp: Lisp on a Multiprocessor. LISP and Functional Programming 1984: 9-17 - Christopher T. Haynes, Daniel P. Friedman:
Engines Build Process Abstractions. LISP and Functional Programming 1984: 18-24 - Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand:
Continuations and Coroutines. LISP and Functional Programming 1984: 293-298 - Paul Hudak, Benjamin Goldberg:
Experiments in Diffused Combinator Reduction. LISP and Functional Programming 1984: 167-176 - Takuya Katayama:
Type Inference and Type Checking for Functional Programming Languages: A Reduced Computation Approach. LISP and Functional Programming 1984: 263-272 - Henry Lieberman:
Steps Toward Better Debugging Tools for Lisp. LISP and Functional Programming 1984: 247-255 - David B. MacQueen:
Modules for Standard ML. LISP and Functional Programming 1984: 198-207 - Yonathan Malachi, Zohar Manna, Richard J. Waldinger:
TABLOG: The Deductive-Tableau Programming Language. LISP and Functional Programming 1984: 323-330 - Robin Milner:
A Proposal for Standard ML. LISP and Functional Programming 1984: 184-197 - David A. Moon:
Garbage Collection in a Large Lisp System. LISP and Functional Programming 1984: 235-246 - Hiroshi G. Okuno, Ikuo Takeuchi, Nobuyasu Ohsato, Yasushi Hibino, Kazufumi Watanabe:
TAO: Afst Interpreter-Centered Lisp System on Lisp Machine ELIS. LISP and Functional Programming 1984: 140-149 - Alberto Pettorossi:
A Powerful Strategy for Deriving Efficient Programs by Transformation. LISP and Functional Programming 1984: 273-281 - Jim des Rivières, Brian Cantwell Smith:
The Implementation of Procedurally Reflective Languages. LISP and Functional Programming 1984: 331-347 - Emmanuel Saint-James:
Recursion is More Efficient than Iteration. LISP and Functional Programming 1984: 228-234
skipping 8 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-05-30 00:04 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint