string(237) "select * FROM articoli_opac WHERE fonte <> 'ISI' AND fonte='ACNP' AND fasc_anno_pubbl='1995' 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-11    

Articles table of contents

Results : 11
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
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
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
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
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
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
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
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
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
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-11