LINGUIST List 13.2896

Fri Nov 8 2002

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

Editor for this issue: Tomoko Okuno <tomokolinguistlist.org>

Directory

1. Kluwer, 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