Citations

svn: r6633

collects/web-server/docs/reference/lang.scrbl

@@ -23,7 +23,6 @@ the following identifier:
  The argument is the HTTP request that initiated the servlet.
 }
 
-@; XXX Cite paper
 @; ------------------------------------------------------------
 @section[#:tag "considerations"]{Usage Considerations}
                    
@@ -88,6 +87,10 @@ Fifth, the store is NOT serialized. If you rely on the store you will
 be taking huge risks. You will be assuming that the serialized continuation
 is invoked before the server is restarted or the memory is garbage collected.
 
+This process is derived from the paper 
+@href-link["http://www.cs.brown.edu/~sk/Publications/Papers/Published/pcmkf-cont-from-gen-stack-insp/" "\"Continuations from Generalized Stack Inspection\""].
+We thank Greg Pettyjohn for his initial implementation of this algorithm.
+
 @; ------------------------------------------------------------
 @section[#:tag "reprovided"]{Reprovided API}
 

collects/web-server/docs/reference/managers.scrbl

@@ -113,7 +113,6 @@ deployments of the @web-server .
 
 @file{managers/lru.ss} defines a manager constructor:
 
-@; XXX Cite Continue
 @defproc[(create-LRU-manager
           [instance-expiration-handler expiration-handler?]
           [check-interval integer?]
@@ -153,6 +152,6 @@ spikes---as indicated by memory usage---the server will quickly expire
 continuations, until the memory is back under control. If the load
 stays low, it will still efficiently expire old continuations.
 
-With Continue, we went from needing to restart the server a few times
+With @href-link["http://continue.cs.brown.edu/" "Continue"], we went from needing to restart the server a few times
 a week and having many complaints under load, to not having these complaints
 and not needing to restart the server for performance reasons.

collects/web-server/docs/reference/servlet.scrbl

@@ -388,7 +388,6 @@ implementation of HTTP Basic Authentication.
 @; ------------------------------------------------------------
 @section[#:tag "web-cells.ss"]{Web Cells}
 
-@; XXX Cite paper
 @file{servlet/web-cell.ss} provides the interface to web cells.
 
 A web cell is a kind of state defined relative to the @defterm{frame tree}.
@@ -398,7 +397,8 @@ created as a child of the current frame when the continuation was captured.
 
 You should use web cells if you want an effect to be encapsulated in all
 interactions linked from (in a transitive sense) the HTTP response being
-generated.
+generated. For more information on their semantics, consult the paper @href-link["http://www.cs.brown.edu/~sk/Publications/Papers/Published/mk-int-safe-state-web/"
+"\"Interaction-Safe State for the Web\""].
 
 @; XXX Document with-frame and with-frame-after?
 

collects/web-server/docs/web-server.ss

@@ -12,9 +12,14 @@
   ; XXX Format better
   (define (warning . x)
     (apply elem "Warning:" x))
+  
+  ; XXX Actually display link
+  (define (href-link url label)
+    (elem label " (" url ")"))
 
   (provide (all-from (lib "manual.ss" "scribble"))
            (all-from (lib "eval.ss" "scribble"))
            web-server
            author
-           warning))
+           warning
+           href-link))