13.2896, TOC: Higher-Order and Symbolic Computation, 15/2-3

[LINGUIST List]

LINGUIST List:  Vol-13-2896. Fri Nov 8 2002. ISSN: 1068-4875.

Subject: 13.2896, TOC: Higher-Order and Symbolic Computation, 15/2-3

Moderators: Anthony Aristar, Wayne State U.<aristar at linguistlist.org>
            Helen Dry, Eastern Michigan U. <hdry at linguistlist.org>

Reviews (reviews at linguistlist.org):
	Simin Karimi, U. of Arizona
	Terence Langendoen, U. of Arizona

Consulting Editor:
        Andrew Carnie, U. of Arizona <carnie at linguistlist.org>

Editors (linguist at linguistlist.org):
	Karen Milligan, WSU 		Naomi Ogasawara, Arizona U.
	James Yuells, EMU		Marie Klopfenstein, WSU
	Michael Appleby, EMU		Heather Taylor, EMU
	Ljuba Veselinova, Stockholm U.	Richard John Harvey, EMU
	Dina Kapetangianni, EMU		Renee Galvis, WSU
	Karolina Owczarzak, EMU		Anita Huang, EMU
	Tomoko Okuno, EMU		Steve Moran, EMU
	Lakshmi Narayanan, EMU		Sarah Murray, WSU
	Marisa Ferrara, EMU

Software: Gayathri Sriram, E. Michigan U. <gayatri at linguistlist.org>
          Zhenwei Chen, E. Michigan U. <chen at linguistlist.org>
	  Prashant Nagaraja, E. Michigan U. <prashant at linguistlist.org>

Home Page:  http://linguistlist.org/

The LINGUIST List is funded by Eastern Michigan University, Wayne
State University, and donations from subscribers and publishers.



Editor for this issue: Tomoko Okuno <tomoko at linguistlist.org>
 ==========================================================================
Subscribe to Blackwell's LL+ at http://www.linguistlistplus.com/ and donate 20% of your subscription to LINGUIST! You get 30% off on Blackwells books, and free shipping and postage!


=================================Directory=================================

1)
Date:  Fri, 8 Nov 2002 09:40:38 -0800 (PST)
From:  Kluwer <Kluwer at Kluwer.m0.net>
Subject:  Higher-Order and Symbolic Computation, 15/2-3 (2002)

-------------------------------- Message 1 -------------------------------

Date:  Fri, 8 Nov 2002 09:40:38 -0800 (PST)
From:  Kluwer <Kluwer at Kluwer.m0.net>
Subject:  Higher-Order and Symbolic Computation, 15/2-3 (2002)



Here is the table of contents for the latest issue of: Higher-Order
and Symbolic Computation (formerly LISP and Symbolic
Computation). Click on the links below to access this journal at
Kluwer Online, Kluwer's online journal platform with 750 top research
publications.

Go to the link:
http://kluwer.m0.net/m/s.asp?HB7324177072X1453855X137584Xlinguist%40linguistlist.org

Higher-Order and Symbolic Computation (formerly LISP and Symbolic
Computation)

Go to the link:
http://kluwer.m0.net/m/s.asp?HB7324177072X1648953X137584Xlinguist%40linguistlist.org

September 2002, Volume 15 (Issue: 2-3)
ISSN: 0892-4635

CONTENTS

Go to the link:
http://kluwer.m0.net/m/s.asp?HB7324177072X1648954X137584Xlinguist%40linguistlist.org

Title, Author(s), Pages #(s)

Editorial
Olivier Danvy, Amr Sabry
139

Go to the link:
http://kluwer.m0.net/m/s.asp?HB7324177072X1648955X137584Xlinguist%40linguistlist.org


Comparing Control Constructs by Double-Barrelled CPS
Hayo Thielecke
141

Go to the link:
http://kluwer.m0.net/m/s.asp?HB7324177072X1648956X137584Xlinguist%40linguistlist.org


Optimizing Nested Loops Using Local CPS Conversion
John Reppy
161

Go to the link:
http://kluwer.m0.net/m/s.asp?HB7324177072X1648957X137584Xlinguist%40linguistlist.org


Linear Continuation-Passing
Josh Berdine, Peter O'Hearn, Uday Reddy, Hayo Thielecke
181

Go to the link:
http://kluwer.m0.net/m/s.asp?HB7324177072X1648958X137584Xlinguist%40linguistlist.org


Secure Information Flow via Linear Continuations
Steve Zdancewic, Andrew C. Myers
209

Go to the link:
http://kluwer.m0.net/m/s.asp?HB7324177072X1648959X137584Xlinguist%40linguistlist.org


Axioms for Recursion in Call-by-Value
Masahito Hasegawa, Yoshihiko Kakutani
235

Go to the link:
http://kluwer.m0.net/m/s.asp?HB7324177072X1648960X137584Xlinguist%40linguistlist.org



Thank you for your interest in Kluwer's books, journals, and other
products. Kluwer is a leading publisher of scientific information,
including more than 1,500 new books per year and 750 journals
featuring leading authors and researchers from around the world.


If you do not have a subscription, individual articles are also
available through our Pay-per-View service. See Kluwer Online for
details.

Update your subscriber information.

Go to the link:
http://kluwer.m0.net/m/s.asp?HB7324177072X1453857X137584Xlinguist%40linguistlist.org

View Customer Service information.

Go to the link:
http://kluwer.m0.net/m/s.asp?HB7324177072X1453858X137584Xlinguist%40linguistlist.org

Read Kluwer's Privacy Policy.

Go to the link:
http://kluwer.m0.net/m/s.asp?HB7324177072X1453859X137584Xlinguist%40linguistlist.org

You are receiving this email because you registered with Kluwer Alert.

Go to the link:
http://kluwer.m0.net/m/s.asp?HB7324177072X1632820X137584Xlinguist%40linguistlist.org

Unsubscribe from our mailing list.

Go to the link:
http://kluwer.m0.net/m/s.asp?HB7324177072X1453860X137584Xlinguist%40linguistlist.org


---------------------------------------------------------------------------
LINGUIST List: Vol-13-2896