Volume 36; Issue 10

ACM SIGPLAN Notices

Volume 36; Issue 10
1

Contification using dominators

Fluet, Matthew, Weeks, Stephen
Journal:
ACM SIGPLAN Notices
Year:
2001
Language:
english
File:
PDF, 230 KB
english, 2001
2

Functioning without closure

Dimock, Allyn, Westmacott, Ian, Muller, Robert, Turbak, Franklyn, Wells, J. B.
Journal:
ACM SIGPLAN Notices
Year:
2001
Language:
english
File:
PDF, 251 KB
english, 2001
3

Optimizing pattern matching

Le Fessant, Fabrice, Maranget, Luc
Journal:
ACM SIGPLAN Notices
Year:
2001
Language:
english
File:
PDF, 210 KB
english, 2001
4

Developing a stage lighting system from scratch

Sperber, Michael
Journal:
ACM SIGPLAN Notices
Year:
2001
Language:
english
File:
PDF, 260 KB
english, 2001
5

Charting patterns on price history

Anand, Saswat, Chin, Wei-Ngan, Khoo, Siau-Cheng
Journal:
ACM SIGPLAN Notices
Year:
2001
Language:
english
File:
PDF, 292 KB
english, 2001
6

Automatic generation of staged geometric predicates

Nanevski, Aleksandar, Blelloch, Guy, Harper, Robert
Journal:
ACM SIGPLAN Notices
Year:
2001
Language:
english
File:
PDF, 280 KB
english, 2001
7

A simple implementation technique for priority search queues

Hinze, Ralf
Journal:
ACM SIGPLAN Notices
Year:
2001
Language:
english
File:
PDF, 421 KB
english, 2001
8

A dependently typed assembly language

Xi, Hongwei, Harper, Robert
Journal:
ACM SIGPLAN Notices
Year:
2001
Language:
english
File:
PDF, 265 KB
english, 2001
9

Recursive structures for standard ML

Russo, Claudio V.
Journal:
ACM SIGPLAN Notices
Year:
2001
Language:
english
File:
PDF, 214 KB
english, 2001
10

Macros as multi-stage computations

Ganz, Steven E., Sabry, Amr, Taha, Walid
Journal:
ACM SIGPLAN Notices
Year:
2001
Language:
english
File:
PDF, 228 KB
english, 2001
11

Events in Haskell, and how to implement them

Russell, George
Journal:
ACM SIGPLAN Notices
Year:
2001
Language:
english
File:
PDF, 172 KB
english, 2001
12

On regions and linear types (extended abstract)

Walker, David, Watkins, Kevin
Journal:
ACM SIGPLAN Notices
Year:
2001
Language:
english
File:
PDF, 249 KB
english, 2001
13

A new notation for arrows

Paterson, Ross
Journal:
ACM SIGPLAN Notices
Year:
2001
Language:
english
File:
PDF, 206 KB
english, 2001
14

Compositional explanation of types and algorithmic debugging of type errors

Chitil, Olaf
Journal:
ACM SIGPLAN Notices
Year:
2001
Language:
english
File:
PDF, 182 KB
english, 2001
15

Extensible algebraic datatypes with defaults

Zenger, Matthias, Odersky, Martin
Journal:
ACM SIGPLAN Notices
Year:
2001
Language:
english
File:
PDF, 253 KB
english, 2001
16

Possibilities and limitations of call-by-need space improvement

Gustavsson, Jörgen, Sands, David
Journal:
ACM SIGPLAN Notices
Year:
2001
Language:
english
File:
PDF, 287 KB
english, 2001
17

Generic validation of structural content with parametric modules

Chuang, Tyng-Ruey
Journal:
ACM SIGPLAN Notices
Year:
2001
Language:
english
File:
PDF, 221 KB
english, 2001
18

Cost recurrences for DML programs

Grobauer, Bernd
Journal:
ACM SIGPLAN Notices
Year:
2001
Language:
english
File:
PDF, 292 KB
english, 2001
19

Generic unification via two-level types and parameterized modules

Sheard, Tim
Journal:
ACM SIGPLAN Notices
Year:
2001
Language:
english
File:
PDF, 183 KB
english, 2001
20

Real-time FRP

Wan, Zhanyong, Taha, Walid, Hudak, Paul
Journal:
ACM SIGPLAN Notices
Year:
2001
Language:
english
File:
PDF, 206 KB
english, 2001
21

Type-based hot swapping of running modules (extended abstract)

Duggan, Dominic
Journal:
ACM SIGPLAN Notices
Year:
2001
Language:
english
File:
PDF, 147 KB
english, 2001
22

Functional array fusion

Chakravarty, Manuel M. T., Keller, Gabriele
Journal:
ACM SIGPLAN Notices
Year:
2001
Language:
english
File:
PDF, 257 KB
english, 2001