-
Notifications
You must be signed in to change notification settings - Fork 17
/
bibliography.scrbl
119 lines (96 loc) · 4 KB
/
bibliography.scrbl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
#lang at-exp racket
(require scribble/base scribble/manual scriblib/autobib "utils.rkt")
(provide (all-defined-out))
(define-bib Rideau-IPS
#:title "Interface-passing style"
#:author "François-René Rideau"
#:date 2010
#:url "http://fare.livejournal.com/155094.html")
(define-bib LIL2012
#:title "lisp-interface-library"
#:author "François-René Rideau"
#:date 2012
#:url "http://github.com/fare/lisp-interface-library/")
(define-bib Implementing-Type-Classes
#:title "Implementing Type Classes"
#:author "John Peterson and Mark Jones"
#:date 1993
#:url "http://web.cecs.pdx.edu/~mpj/pubs/pldi93.html")
(define-bib Units-Flatt-Felleisen
#:title "Units: Cool Modules for HOT Languages"
#:author "Matthew Flatt and Matthias Felleisen"
#:location (proceedings-location "PLDI 98")
#:date 1998
#:url "http://www.ccs.neu.edu/scheme/pubs/pldi98-ff.ps.gz")
(define-bib MOOPUM
#:title "Modular Object-Oriented Programming with Units and Mixins"
#:author "Robert Bruce Findler and Matthew Flatt"
#:location (proceedings-location "ICFP 98")
#:date 1998
#:url "http://www.ccs.neu.edu/scheme/pubs/icfp98-ff.pdf")
(define-bib Okasaki
#:title "Purely Functional Data Structures"
#:author "Chris Okasaki"
#:date "1996"
#:url "http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf")
(define-bib DSST-Persistent
#:title "Making Data Structures Persistent"
#:author "J. R. Driscoll, N. Sarnak, D. D. Sleator and R. E. Tarjan"
#:date 1989
#:location (journal-location "Journal of Computer and System Sciences, Vol. 38, No. 1")
;; #:url "http://www.cs.cmu.edu/~sleator/papers/making-data-structures-persistent.pdf"
#:url "http://www.cs.cmu.edu/~sleator/papers/Persistence.htm")
#|(define-bib Baker-TreeShadow
#:title "Worlds in Collision: A Mostly Functional Model of Concurrency Control and Recovery"
#:date 1990
#:url "http://home.pipeline.com/~hbaker1/TreeShadow.html")|#
(define-bib Baker-ShallowArrays
#:title "Shallow Binding Makes Functional Arrays Fast"
#:date 1991 ; 1990-1991
#:url "http://home.pipeline.com/~hbaker1/ShallowArrays.html")
(define-bib cl-containers
#:title "cl-containers"
#:author "Gary King and contributors" ; and...
#:date 2005 ; 2005-2011
#:url "http://common-lisp.net/project/cl-containers/")
(define-bib contextl-soa
#:title "Context-Oriented Programming in ContextL"
;; #:subtitle "State of the Art"
#:author "Pascal Costanza"
;; "Celebrating the 50th anniversary of Lisp"
#:date 2008
#:url "http://www.p-cos.net/documents/contextl-soa.pdf")
;; See also http://github.com/madnificent/COPP
(define-bib fmim
#:title "Fast Mergable Integer Maps"
#:author "Chris Okasaki and Andrew Gill"
#:date 1998
#:url "http://www.eecs.usma.edu/webs/people/okasaki/ml98maps.ps")
@(XXX #|
See discussion on 2012-08-03 on #racket
<asumu> I don't think this combination is used much.
<asumu> Partly, I think, because units are a fairly heavyweight feature.
<asumu> (to clarify: mixins & units *are* used together, but not in this particular pattern)
<asumu> (see the DrRacket tool API for an example of their use)
|#)
;; logic for shared mutable datastructure: separation logic ?
;; Separation logic: A logic for shared mutable data structures
;; JC Reynolds - Logic in Computer Science, 2002. Proceedings. …, 2002 - ieeexplore.ieee.org
;; "ad hoc polymorphism"
;; Christopher Strachey in his seminal 1967 article (or at least its 2000 reprint)
;; uses no dash. Scott wins!
;; http://www.itu.dk/courses/BPRD/E2009/fundamental-1967.pdf
;; Greg Morrisett
;; http://www.eecs.harvard.edu/~greg/cs256sp2005/lec15.txt
;; method 4, runtime dispatch.
;; Mention traits?
#|
* Implementing Sets Efficiently in a Functional Language
http://groups.csail.mit.edu/mac/users/adams/BB/92-10.ps
* Balancing weight-balanced trees
http://hagi.is.s.u-tokyo.ac.jp/~yh/bst.pdf
* Weight-Balanced Trees - MIT/GNU Scheme 9.1
http://www.gnu.org/software/mit-scheme/documentation/mit-scheme-ref/Weight_002dBalanced-Trees.html
* kazu-yamamoto wttree
https://github.com/kazu-yamamoto/wttree
|#