Readscheme.org
Scheme Bibliography Home
Classics
Semantics
Macros
Objects
Modules
Continuations
Web Programming
Applications
Implementation
Concurrent Programming
Partial Evaluation
Reflection
Recent Additions
Browse by Author
Search...

Archived 2001 Additions

December 20, 2001

  • Oleg Kiselyov. "A better XML parser through functional programming". Fourth International Symposium on Practical Aspects of Declarative Languages (PADL '02). January 2002. Available online: ps slides. Citation.
  • Luc Moreau. "Programming in a Parallel Functional Language with Continuations". Avancées Applicatives. Journées Francophones des Langages Applicatifs (JFLA'92). volume 76-77. February 1992. Available online: ps. Citation.
  • Luc Moreau. "An Operational Semantics for a Parallel Language with Continuations". Parallel Architectures and Languages Europe (PARLE'92). number 605 in Lecture Notes in Computer Science. June 1992. Available online: ps. Citation.
  • Luc Moreau and Daniel Ribbens. "Sound Rules for Parallel Evaluation of a Functional Language with callcc". ACM conference on Functional Programming and Computer Architecture (FPCA'93). June 1993. Available online: ps. Citation.
  • Luc Moreau. "The PCKS-machine: An Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations". European Symposium on Programming (ESOP'94). number 788 in Lecture Notes in Computer Science. April 1994. Available online: ps. Citation.
  • Luc Moreau. "Sound Evaluation of Parallel Functional Programs with First-Class Continuations". PhD. Thesis. University of Liège. June 1994. Available online: ps. Citation.
  • Luc Moreau. "The Semantics of Scheme with Future". University of Southampton. Technical Report M95/7. 1995. Available online: ps. Citation.
  • Luc Moreau. "A Parallel Functional Language with First-Class Continuations (Programming Style and Semantics)". Computers and Artificial Intelligence. 14(2). 1995. Available online: ps. Citation.
  • Luc Moreau. "Non-speculative and Upward Invocation of Continuations in a Parallel Language". International Joint Conference on Theory and Practice of Software Development (TAPSOFT/FASE'95). number 915 in Lecture Notes in Computer Science. May 1995. Available online: ps. Citation.
  • Luc Moreau and Daniel Ribbens. "The Semantics of pcall and fork". PSLS 95 - Parallel Symbolic Langages and Systems. number 1068 in Lecture Notes in Computer Science. October 1995. Available online: ps. Citation.
  • Luc Moreau. "The Semantics of Future in the Presence of First-Class Continuations and Side-effects". University of Southampton. Technical Report M95/3. November 1995. Available online: ps. Citation.
  • Luc Moreau. "Correctness of a Distributed-Memory Model for Scheme". University of Southampton. Technical Report M96/3. 1996. Available online: ps. Citation.
  • Luc Moreau. "The Semantics of Scheme with Future". ACM SIGPLAN International Conference on Functional Programming (ICFP'96). May 1996. Available online: ps. Citation.
  • Luc Moreau. "Continuing into the Future: the Return (Invited Paper)". 8th International Conference in Systems Research Informatics and Cybernetics (InterSymp'96). August 1996. Available online: ps. Citation.
  • Luc Moreau. "Correctness of a Distributed-Memory Model for Scheme". Second International Europar Conference (EURO-PAR'96). number 1123 in Lecture Notes in Computer Science. August 1996. Available online: ps. Citation.
  • Luc Moreau and David DeRoure. "A Distributed Garbage Collector for NeXeme". University of Southampton. 1997. Available online: ps. Citation.
  • Luc Moreau and Christian Queinnec. "On the Finiteness of Resources in Distributed Computing". INRIA. Research Report RR-3147. April 1997. Available online: ps pdf. Citation.
  • Luc Moreau, David DeRoure and Ian Foster. "NeXeme: a Distributed Scheme Based on Nexus". Third International Europar Conference (EURO-PAR'97). volume 1300 of Lecture Notes in Computer Science. August 1997. Available online: ps. Citation.
  • Luc Moreau and Christian Queinnec. "Design and Semantics of Quantum: a Language to Control Resource Consumption in Distributed Computing". Usenix Conference on Domain-Specific Languages (DSL'97). October 1997. Available online: ps. Citation.
  • Luc Moreau. "NeXeme: A Distributed Scheme Based on Nexus (Reference Manual and User's Guide)". University of Southampton. Technical Report M97/8. November 1997. Available online: ps. Citation.
  • Luc Moreau and Christian Queinnec. "Distributed Computations Driven by Resource Consumption". IEEE International Conference on Computer Languages (ICCL'98). May 1998. Available online: ps pdf. Abstract and citation.
  • Luc Moreau. "A Distributed Garbage Collector with Diffusion Tree Reorganisation and Object Mobility". Proceedings of the Third International Conference of Functional Programming (ICFP'98). September 1998. Available online: ps. Citation.
  • Luc Moreau. "Hierarchical Distributed Reference Counting". Proceedings of the First ACM SIGPLAN International Symposium on Memory Management (ISMM'98). October 1998. Available online: ps. Citation.
  • Suresh Jagannathan. "Communication-Passing Style for Coordination Languages". 2nd International Conference on Coordination Models and Languages. Springer-Verlag LNCS 1282. September 1997. Available online: ps. Citation.
  • Suresh Jagannathan, Henry Cejtin, Richard A. Kelsey. "Higher-Order Distributed Objects". ACM Transactions on Programming Languages and Systems. September 1995. Available online: ps. Citation.
  • Suresh Jagannathan. "Virtual Topologies: A New Concurrency Abstraction for High-Level Parallel Programs". 5th Workshop on Languages and Compilers for Parallel Computing. September 1995. Available online: ps. Citation.
  • Suresh Jagannathan. "TS-Scheme: Distributed Data Structures in Lisp". Lisp and Symbolic Computation. December 1994. Available online: ps. Citation.
  • Suresh Jagannathan. "Locality Abstractions for Parallel and Distributed Computing". International Conference on Theory and Practice of Parallel Programming. Springer-Verlag LNCS 907. November 1994. Available online: ps. Citation.
  • Suresh Jagannathan, James Philbin. "High-Level Abstractions for Efficient Concurrent Systems". International Conference on Programming Languages and Systems Architecture. Springer-Verlag LNCS 782. March 1994. Available online: ps. Citation.
  • Suresh Jagannathan, Stephen Weeks and James Philbin. "A Concurrent Abstract Interpreter". Lisp and Symbolic Computation. April 1994. Available online: ps. Citation.
  • Suresh Jagannathan, Stephen Weeks. "Analyzing Stores and References in Parallel Symbolic Languages". ACM Symposium on Lisp and Functional Programming (LFP94). June 1994. Available online: ps. Citation.
  • James Philbin. "An Overview of the Sting Operating System". Proceedings of the 4th NEC Software Conference. October 1992. Available online: ps. Citation.
  • James Philbin. "Customizable Policy Management in the Sting Operating System". US/Japan Workshop on Parallel Symbolic Computing, Springer-Verlag LNCS 748. October 1992. Citation.
  • Suresh Jagannathan, James Philbin. "A Customizable Substrate for Concurrent Languages". ACM Conference on Programming Language Design and Implementation (PLDI92). June 1992. Available online: ps. Citation.
  • Suresh Jagannathan, James Philbin. "A Foundation for an Efficient Multi-Threaded Scheme System". ACM Conference on Lisp and Functional Programming (LFP92). June 1992. Available online: ps. Citation.
  • Suresh Jagannathan. "Expressing Fine-Grained Parallelism Using Distributed Data Structures". Workshop on Research Directions in High-Level Parallel Languages. Springer-Verlag LNCS 574. June 1991. Available online: ps. Citation.
  • Christian Queinnec. "Distributed generic functions". Object-Oriented Parallel and Distributed Programming. 2000. Available online: ps. Citation.
  • Christian Queinnec. "Marshaling/unmarshaling as a compilation/interpretation process". Symposium IPPS/SPDP 1999 - 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing. April 1999. Available online: ps. Citation.
  • Christian Queinnec. "DMeroon A Distributed Class-based Causally-Coherent Data Model - General documentation". Rapport LIP6 1998/039. 1998. Available online: ps. Citation.
  • Christian Queinnec. "Marshaling/unmarshaling as a compilation/interpretation process". Research Report LIP6/1998/049, LIP6. December 1998. Available online: ps. Citation.
  • Christian Queinnec. "Sérialisation-désérialisation en DMeroon". NOTERE97 -- Colloque international sur les NOuvelles TEchnologies de la RÉpartition. November 1997. Available online: ps. Citation.
  • Christian Queinnec. "Distributed generic functions". Second France-Japan workshop on Object-Based Parallel and Distributed Computing -- OBPDC '97. October 1997. Available online: ps. Citation.
  • Christian Queinnec. "Bribes de DMeroon". Actes des journées de recherche sur la Mémoire Partagée Répartie. MPR 96. May 1996. Citation.
  • Christian Queinnec. "DMeroon : Overview of a distributed class-based causally-coherent data model". PSLS 95 - Parallel Symbolic Langages and Systems. Lecture Notes in Computer Science 1068. October 1995. Available online: ps. Citation.
  • Christian Queinnec. "Sharing mutable objects and controlling groups of tasks in a concurrent and distributed language". Proceedings of the Workshop on Theory and Practice of Parallel Programming (TPPP'94). Lecture Notes in Computer Science 907. November 1994. Available online: ps. Citation.
  • Christian Queinnec and David DeRoure. "Design of a concurrent and distributed language". Parallel Symbolic Computing: Languages, Systems, and Applications, (US/Japan Workshop Proceedings). Lecture Notes in Computer Science 748. October 1993. Available online: ps. Citation.
  • Christian Queinnec. "A concurrent and distributed extension to scheme". PARLE '92 - Parallel Architectures and Languages Europe. Lecture Notes in Computer Science 605. June 1992. Available online: ps. Citation.
  • José M. Piquer and Christian Queinnec. "Transpive: A distributed lisp system". La lettre du Transputer. 16. December 1992. Available online: ps. Citation.
  • Christian Queinnec. "Crystal Scheme, A Language for Massively Parallel Machines". Second Symposium on High Performance Computing. October 1991. Available online: ps. Citation.
  • Christian Queinnec. "PolyScheme : A Semantics for a Concurrent Scheme". Workshop on High Performance and Parallel Computing in Lisp. November 1990. Available online: ps. Citation.

December 19, 2001

  • Brian D. Carlstrom. "Embedding Scheme in Java". PhD. Thesis. Massachusetts Institute of Technlogy. February 2001. Available online: pdf. Citation.
  • Timothy J. Hickey. "Jscheme Web Programming for CS0". Brandeis University. CS-02-223. January 2002. Available online: ps. Citation.
  • Kenneth R. Anderson and Timothy J. Hickey. "Reflecting Java into Scheme". Proceedings of Reflection 99. Lecture Notes in Computer Science, v. 1616. 1999. Citation.
  • Timothy J. Hickey, Peter Norvig and Kenneth R. Anderson. "LISP - a Language for Internet Scripting and Programming". LUGM'98: Proceedings of Lisp in the Mainstream. November 1998. Available online: pdf. Citation.
  • Christian Queinnec. "Inverting back the inversion of control or, continuations versus page-centric programming". Technical Report 7, LIP6. May 2001. Available online: ps pdf. Abstract and citation.
  • Christian Queinnec. "The influence of browsers on evaluators or, continuations to program web servers". ICFP '2000 - International Conference on Functional Programming. September 2000. Available online: ps. Citation.
  • Danius Michaelides, Luc Moreau and David DeRoure. "A Uniform Approach to Programming the World Wide Web". Computer Systems Science and Engineering. 14(2):69-91. 1999. Available online: ps. Citation.

December 9, 2001

  • Matthew Fuchs. "Dreme: for Life in the Net". PhD. Thesis. New York University. September 1995. Available online: ps pdf. Citation.
  • Kurt Nørmark. "WEB Based Lecture Notes - The LENO Approach". November 2001. Available online: ps pdf. Citation.
  • Alan Bawden. "Implementing Distributed Systems Using Linear Naming". PhD. Thesis. MIT AI Lab Technical Report AITR-1627. March 1993. Available online: ps pdf. Abstract and citation.
  • James Philbin. "STING: An Operating System for Modern Languages". PhD. Thesis. Yale University. May 1993. Citation.
  • James S. Miller. "Multischeme: A Parallel Processing System based on MIT Scheme". PhD. Thesis. Massachusetts Institute of Technology. MIT Technical Report MIT/LCS/TR-402. September 1987. Citation.

October 18, 2001

  • Dominique Boucher. "Analyse et optimisation globales de modules compilés séparément". PhD. Thesis. Université de Montréal. December 1999. Available online: ps. Citation.
  • Mario Latendresse. "Génération de machines virtuelles pour l'exécution de programmes compressés". PhD. Thesis. Université de Montréal. April 2000. Available online: ps. Citation.
  • Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen. "Automatically Restructuring Programs for the Web". IEEE International Symposium on Automated Software Engineering (ASE 2001). 2001. Available online: ps pdf. Abstract and citation.
  • Alan Bawden. "First-class macros have types". POPL '00: 27th ACM Symp. Princ. of Prog. Langs.. 2000. Available online: ps pdf. Citation.
  • William D. Clinger. "The scheme 311 compiler an exercise in denotational semantics". 1984 ACM Symposium on LISP and functional programming. 1984. Available online: ACM Digital Library. Citation.
  • David H. Bartley and John C. Jensen. "The implementation of PC Scheme". Proceedings of the 1986 ACM conference on LISP and functional programming. 1986. Available online: ACM Digital Library. Citation.

October 8, 2001

  • Jonathan A. Rees and Norman I. Adams IV. "T: A dialect of Lisp or, Lambda: The ultimate software tool". Conference Record of the 1982 ACM Symposium on Lisp and Functional Programming. 1982. Available online: ACM Digital Library. Citation.
  • Jonathan A. Rees. "Modular Macros". Masters Thesis. MIT. 1989. Citation.
  • Jonathan A. Rees, Norman I. Adams IV and James R. Meehan. "The T manual". Yale University Computer Science Department. 1984. Available online: text pdf. Citation.
  • Bernd Grobauer and Julia L. Lawall. "Partial Evaluation of Pattern Matching in Strings, revisited". BRICS report RS-00-31. September 2001. Available online: ps pdf. Citation.
  • Julia L. Lawall. "Continuation Introduction and Elimination in Higher-Order Programming Languages". PhD. Thesis. Indiana University, Computer Science Department. July 1994. Citation.
  • R. Kent Dybvig. "Chez Scheme User's Guide". 1998. Available online: html. Citation.
  • R. Kent Dybvig. "The Scheme Programming Language, Second Edition". 1996. Available online: html. Citation.
  • R. Kent Dybvig. "C-Scheme". Masters Thesis. Indiana University Computer Science Department. Technical Report 149. 1983. Citation.
  • Eugene E. Kohlbecker, Daniel P. Friedman, Matthias Felleisen and Bruce F. Duba. "Hygienic macro expansion". Proceedings of the 1986 ACM Conference on LISP and Functional Programming. 1986. Available online: ACM Digital Library. Citation.
  • Eugene E. Kohlbecker. "Syntactic Extensions in the Programming Language Lisp". PhD. Thesis. Indiana University. 1986. Citation.
  • J. Michael Ashley. "The Effectiveness of Flow Analysis for Inlining". Proceedings of the 1997 ACM International Conference on Functional Programming. Available online: pdf. Citation.
  • J. Michael Ashley. "A Practical and Flexible Flow Analysis for Higher-Order Languages". PhD. Thesis. Indiana University. 1996. Available online: pdf. Citation.
  • J. Michael Ashley. "A Practical and Flexible Flow Analysis for Higher-Order Languages". Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 1996. Available online: pdf. Citation.
  • J. Michael Ashley and Charles Consel. "Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs". ACM Transactions on Programming Languages and Systems. 16(5). September 1994. Available online: pdf. Citation.
  • Bjarne Steensgaard and Morten Marquard. "A Polyvariant Closure Analysis with Dynamic Widening". May 1994. Available online: ps. Citation.
  • Andrew E. Ayers. "Abstract Analysis and Optimization of Scheme". PhD. Thesis. MIT. 1993. Citation.
  • Stephen Slade. "The T Programming Language: A Dialect of LISP". 1987. Citation.
  • Matthias Blume. "Refining Hygienic Macros for Modules and Separate Compilation". ATR Human Information Processing Research Laboratories, Kyoto. ATR Technical Report TR-H-171. 1995. Available online: ps. Citation.
  • Matthias Blume. "Separate Compilation for Scheme, draft paper". 1997. Available online: ps. Citation.
  • Oleg Kiselyov. "XML and Scheme". A micro-talk presentation at a Workshop on Scheme and Functional Programming 2000. September 2000. Available online: html. Citation.
  • Oleg Kiselyov. "Binary parsing". A micro-talk presentation at a Workshop on Scheme and Functional Programming 2000. September 2000. Available online: html. Citation.
  • Oleg Kiselyov. "General ways to traverse collections". April 2000. Available online: html. Citation.

September 19, 2001

  • Marc Feeley. "A Better API for First-Class Continuations". 2nd Workshop on Scheme and Functional Programming. September 2001. Available online: ps pdf. Citation.
  • Kirill Lisovsky. "Scheme program souce code as a semistructured data". 2nd Workshop on Scheme and Functional Programming. September 2001. Available online: ps pdf. Citation.
  • Augustin Lux. "Tools for Automatic Interface Generation in Scheme". 2nd Workshop on Scheme and Functional Programming. September 2001. Available online: ps pdf. Citation.
  • Fred Bayer. "LispMe: An Implementation of Scheme for the PalmPilot". 2nd Workshop on Scheme and Functional Programming. September 2001. Available online: ps pdf. Citation.
  • Danny Dubé, Marc Feeley. "Demand-Driven Type Analysis: an Introduction". 2nd Workshop on Scheme and Functional Programming. September 2001. Available online: ps pdf. Citation.
  • Martin Gasbichler, Holger Gast. "Soft Interfaces: Typing Scheme At The Module Level". 2nd Workshop on Scheme and Functional Programming. September 2001. Available online: ps pdf. Citation.
  • Frédéric Peschanski. "Jargons: Experimenting Composable Domain-Specific Languages". 2nd Workshop on Scheme and Functional Programming. September 2001. Available online: ps pdf. Citation.
  • Philippe Meunier, Robert Bruce Findler, Paul A. Steckler, Mitchell Wand. "Selectors Make Set-Based Analysis Too Hard". 2nd Workshop on Scheme and Functional Programming. September 2001. Available online: ps pdf. Citation.
  • Manfred Widera. "An Algorithm for Checking the Disjointness of Types". 2nd Workshop on Scheme and Functional Programming. September 2001. Available online: ps pdf. Citation.

September 15, 2001

  • Henry G. Baker. "CONS Should Not CONS Its Arguments, Part II: Cheney on the M.T.A.". May 1994. Available online: ps html. Citation.
  • Mark DePristo. "SINTL: A Strongly-Typed Generic Intermediate Language for Scheme". Northwestern University. May 2000. Available online: ps pdf. Citation.
  • Paul R. Wilson. "Uniprocessor Garbage Collection Techniques". Available online: ps. Citation.
  • Paul R. Wilson, Michael S. Lam and Thomas G. Moher. "Caching Considerations for Generational Garbage Collection". 1992 ACM Symposium on Lisp and Functional Programming. June 1992. Available online: ps. Citation.
  • David Gudeman. "Representing Type Information in Dynamically Typed Languages". University of Arizona. TR 93-27. October 1993. Available online: ps. Citation.
  • Oscar Waddell. "Extending the Scope of Syntactic Abstraction". PhD. Thesis. Indiana University Computer Science Department. August 1999. Available online: ps. Citation.
  • Robert G. Burger. "Efficient Compilation and Profile-Driven Dynamic Recompilation in Scheme". PhD. Thesis. Indiana University Computer Science Department. March 1997. Available online: ps. Citation.
  • M. Esen Tuna, Steven D. Johnson and Robert G. Burger. "Continuations in Hardware-Software Codesign". IEEE Proceedings of the International Conference on Computer Design. October 1994. Available online: ps. Citation.
  • Robert G. Burger. "The Scheme Machine". Indiana University, Computer Science Department. Technical Report 413. August 1994. Available online: ps. Citation.
  • Steven D. Johnson. "Formal derivation of a scheme computer". Indiana University Computer Science Department. Technical Report 544. September 2000. Available online: ps pdf. Citation.
  • Jonathon Sobel and Daniel P. Friedman. "Recycling Continuations". 1998 International Conference on Functional Programming (ICFP'98). September 1998. Available online: ps pdf. Citation.
  • Bruce R. Lewis. "BRL: A database-oriented language to embed in HTML and other markup". June 2001. Available online: pdf. Citation.

Last modified: Monday, August 13th, 2007 9:29:29pm
HTML generated using WebIt!.