string(237) "select * FROM articoli_opac WHERE fonte <> 'ISI' AND fonte='ACNP' AND fasc_anno_pubbl='1994' AND fasc_issn='08924635' order by level desc, fasc_key desc, NULLIF(regexp_replace(pagina_ini, E'\\D', '', 'g'), '')::int asc offset 0 limit 25" ACNP - Italian Periodicals Catalogue
Results: 1-14    

Articles table of contents

Results : 14
Recursion from Iteration
Authors: A.Filinski
Journal: LISP and symbolic computation
Citation: A.filinski, Recursion from Iteration, LISP and symbolic computation , 7(1), 1994, pp. 11-38
Monads and Composable Continuations
Authors: P.Wadler
Journal: LISP and symbolic computation
Citation: P.wadler, Monads and Composable Continuations, LISP and symbolic computation , 7(1), 1994, pp. 39-56
Coll-by-need and Continuation-passing Style
Authors: C.Okasaki,P.Lee,D.Tarditi
Journal: LISP and symbolic computation
Citation: C.okasaki,p.lee,d.tarditi, Coll-by-need and Continuation-passing Style, LISP and symbolic computation , 7(1), 1994, pp. 57-82
Subcontinuations
Authors: R.Hieb,K.Dybving,C.W.Anderson
Journal: LISP and symbolic computation
Citation: R.hieb,k.dybving,c.w.anderson, Subcontinuations, LISP and symbolic computation , 7(1), 1994, pp. 83-110
Continuation-Based Control in the Implementation of Parallel Logic Programs
Authors: J.S.Conery
Journal: LISP and symbolic computation
Citation: J.s.conery, Continuation-Based Control in the Implementation of Parallel Logic Programs, LISP and symbolic computation , 7(1), 1994, pp. 111-132
Distribuited Data Structures and Algorithms for Grobner Basis Computation
Authors: S.Chakrabarti,K.Yelick
Journal: LISP and symbolic computation
Citation: S.chakrabarti,k.yelick, Distribuited Data Structures and Algorithms for Grobner Basis Computation, LISP and symbolic computation , 7(2/3), 1994, pp. 147-173
A Concurrent Abstract Interpreter
Authors: S.Weeks,S.jaggannathan,J.Philbin
Journal: LISP and symbolic computation
Citation: S.weeks,s.jaggannathan,j.philbin, A Concurrent Abstract Interpreter, LISP and symbolic computation , 7(2/3), 1994, pp. 173-194
CONSAT: A Parallel Constraint Satisfaction System
Authors: K.Ho,H.W.Guesgen,P.N.Hilfinger
Journal: LISP and symbolic computation
Citation: K.ho,h.w.guesgen,p.n.hilfinger, CONSAT: A Parallel Constraint Satisfaction System, LISP and symbolic computation , 7(2/3), 1994, pp. 195-210
An Application of an OR-Parallel Prolog System to Phylogenetic Analysis
Authors: H.Matsuda,Y.Kaneda
Journal: LISP and symbolic computation
Citation: H.matsuda,y.kaneda, An Application of an OR-Parallel Prolog System to Phylogenetic Analysis, LISP and symbolic computation , 7(2/3), 1994, pp. 211-230
Using Multilisp for Solving Constraint Satisfaction Problems: An Apllication to Nucleic Acid 3d Structure Determination
Authors: M.Feeley,M.Turcotte,G.Lapalme
Journal: LISP and symbolic computation
Citation: M.feeley,m.turcotte,g.lapalme, Using Multilisp for Solving Constraint Satisfaction Problems: An Apllication to Nucleic Acid 3d Structure Determination, LISP and symbolic computation , 7(2/3), 1994, pp. 231-246
The Grasper-CL Graph Management System
Authors: P.D.Karp,J.D.Lowrance,T.M.Strat,D.E.Wilkins
Journal: LISP and symbolic computation
Citation: P.d.karp,j.d.lowrance,t.m.strat,d.e.wilkins, The Grasper-CL Graph Management System, LISP and symbolic computation , 7(4), 1994, pp. 251-290
TS/Scheme: Distribuited Data Structures in Lisp
Authors: S.Jagannathan
Journal: LISP and symbolic computation
Citation: S.jagannathan, TS/Scheme: Distribuited Data Structures in Lisp, LISP and symbolic computation , 7(4), 1994, pp. 291-314
A Tractable Scheme Implementation
Authors: R.A.Kelsey,J.A.Rees
Journal: LISP and symbolic computation
Citation: R.a.kelsey,j.a.rees, A Tractable Scheme Implementation, LISP and symbolic computation , 7(4), 1994, pp. 315-336
Loop Headers in Lambda-calculus or CPS
Authors: A.W.Appel
Journal: LISP and symbolic computation
Citation: A.w.appel, Loop Headers in Lambda-calculus or CPS, LISP and symbolic computation , 7(4), 1994, pp. 337-343
Results: 1-14