string(210) "select * FROM articoli_opac WHERE fonte <> 'ISI' AND fonte='ACNP' 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-25    

Articles table of contents

Results : 25
VLISP: A Verified Implementation of Scheme
Authors: J.D.Guttman,J.Ramsdell,M.Wand
Journal: LISP and symbolic computation
Citation: J.d.guttman,j.ramsdell,m.wand, VLISP: A Verified Implementation of Scheme, LISP and symbolic computation , 8(1/2), 1995, pp. 5-32
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
The VLISP Verified Scheme System
Authors: J.D.Guttman,V.Swarup,J.Ramsdell
Journal: LISP and symbolic computation
Citation: J.d.guttman,v.swarup,j.ramsdell, The VLISP Verified Scheme System, LISP and symbolic computation , 8(1/2), 1995, pp. 33-110
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
The VLISP Verified PreScheme Compiler
Authors: D.P.Oliva,J.Ramsdell,M.Wand
Journal: LISP and symbolic computation
Citation: D.p.oliva,j.ramsdell,m.wand, The VLISP Verified PreScheme Compiler, LISP and symbolic computation , 8(1/2), 1995, pp. 111-179
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
Binding-Time Analysis for Standard ML
Authors: L.Birkedal,M.Welinder
Journal: LISP and symbolic computation
Citation: L.birkedal,m.welinder, Binding-Time Analysis for Standard ML, LISP and symbolic computation , 8(3), 1995, pp. 191-208
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
The Essence of Eta-Expansion in Partial Evaluation
Authors: O.Danvy,K.Malmkjaer,J.Palsberg
Journal: LISP and symbolic computation
Citation: O.danvy,k.malmkjaer,j.palsberg, The Essence of Eta-Expansion in Partial Evaluation, LISP and symbolic computation , 8(3), 1995, pp. 209-228
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
Dictionary-Free Overloading by Partial Evaluation
Authors: M.P.Jones
Journal: LISP and symbolic computation
Citation: M.p.jones, Dictionary-Free Overloading by Partial Evaluation, LISP and symbolic computation , 8(3), 1995, pp. 229-248
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
PERs from Projections for Binding Time Analysis
Authors: K.Davis
Journal: LISP and symbolic computation
Citation: K.davis, PERs from Projections for Binding Time Analysis, LISP and symbolic computation , 8(3), 1995, pp. 249-267
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
Type Theory and Projections for Static Analysis
Authors: C.A.Backer-Finch
Journal: LISP and symbolic computation
Citation: C.a.backer-finch, Type Theory and Projections for Static Analysis, LISP and symbolic computation , 8(3), 1995, pp. 267-284
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
state in Haskell
Authors: J.Launchbury,"S.L.Peyton Jones
Journal: LISP and symbolic computation
Citation: J.launchbury,"s.l.peyton Jones, state in Haskell, LISP and symbolic computation , 8(4), 1995, pp. 293-342
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
Simple Imperative Polymorphism
Authors: A.K.Wright
Journal: LISP and symbolic computation
Citation: A.k.wright, Simple Imperative Polymorphism, LISP and symbolic computation , 8(4), 1995, pp. 343-356
An Interpretation of Typed OOP in a Language with State
Authors: J.Eifrig,S.Smith,V.Trifonov,A.Zwarico
Journal: LISP and symbolic computation
Citation: J.eifrig,s.smith,v.trifonov,a.zwarico, An Interpretation of Typed OOP in a Language with State, LISP and symbolic computation , 8(4), 1995, pp. 357-396
Results: 1-25