Volume 43; Issue 9

ACM SIGPLAN Notices

Volume 43; Issue 9
1

NixOS

Dolstra, Eelco, Löh, Andres
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 394 KB
english, 2008
2

The power of Pi

Oury, Nicolas, Swierstra, Wouter
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 237 KB
english, 2008
3

Typed iterators for XML

Castagna, Giuseppe, Nguyen, Kim
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 449 KB
english, 2008
4

AURA

Jia, Limin, Vaughan, Jeffrey A., Mazurak, Karl, Zhao, Jianzhou, Zarko, Luke, Schorr, Joseph, Zdancewic, Steve
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 254 KB
english, 2008
5

Type checking with open type functions

Schrijvers, Tom, Peyton Jones, Simon, Chakravarty, Manuel, Sulzmann, Martin
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 269 KB
english, 2008
6

A type-preserving compiler in Haskell

Guillemette, Louis-Julien, Monnier, Stefan
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 257 KB
english, 2008
7

FPH

Vytiniotis, Dimitrios, Weirich, Stephanie, Peyton Jones, Simon
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 276 KB
english, 2008
8

Experience report

Convey, Christian, Fredricks, Andrew, Gagner, Christopher, Maxwell, Douglas, Hamel, Lutz
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 167 KB
english, 2008
9

Parametric higher-order abstract syntax for mechanized semantics

Chlipala, Adam
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 263 KB
english, 2008
10

Pattern minimization problems over recursive data types

Krauss, Alexander
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 238 KB
english, 2008
11

Functional netlists

Park, Sungwoo, Kim, Jinha, Im, Hyeonseung
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 473 KB
english, 2008
13

FLUX

Cheney, James
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 291 KB
english, 2008
14

Experience report

Jones, Mark P.
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 509 KB
english, 2008
15

HMF

Leijen, Daan
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 250 KB
english, 2008
16

Experience report

Duke, David J., Borgo, Rita, Runciman, Colin, Wallace, Malcolm
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 251 KB
english, 2008
17

Quotient lenses

Foster, J. Nathan, Pilkiewicz, Alexandre, Pierce, Benjamin C.
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 362 KB
english, 2008
18

Polymorphism and page tables

Jones, Mark P.
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 76 KB
english, 2008
19

From ML to ML F

Rémy, Didier, Yakobowski, Boris
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 400 KB
english, 2008
20

Generic discrimination

Henglein, Fritz
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 282 KB
english, 2008
21

Data-flow testing of declarative programs

Fischer, Sebastian, Kuchen, Herbert
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 250 KB
english, 2008
22

Functional translation of a calculus of capabilities

Charguéraud, Arthur, Pottier, François
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 286 KB
english, 2008
23

Deciding k CFA is complete for EXPTIME

Van Horn, David, Mairson, Harry G.
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 261 KB
english, 2008
24

Mixin' up the ML module system

Dreyer, Derek, Rossberg, Andreas
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 301 KB
english, 2008
25

Defunctionalized interpreters for programming languages

Danvy, Olivier
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 223 KB
english, 2008
26

Transactional events for ML

Effinger-Dean, Laura, Kehrt, Matthew, Grossman, Dan
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 238 KB
english, 2008
27

Efficient nondestructive equality checking for trees and graphs

Adams, Michael D., Dybvig, R. Kent
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 197 KB
english, 2008
28

Functional pearl

Hinze, Ralf
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 259 KB
english, 2008
29

Paradise

Augustsson, Lennart, Mansell, Howard, Sittampalam, Ganesh
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 107 KB
english, 2008
30

Ynot

Nanevski, Aleksandar, Morrisett, Greg, Shinnar, Avraham, Govereau, Paul, Birkedal, Lars
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 302 KB
english, 2008
31

Write it recursively

Morihata, Akimasa, Matsuzaki, Kiminori, Takeichi, Masato
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 260 KB
english, 2008
32

A scheduling framework for general-purpose parallel languages

Fluet, Matthew, Rainey, Mike, Reppy, John
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 467 KB
english, 2008
33

Compiling self-adjusting programs with continuations

Ley-Wild, Ruy, Fluet, Matthew, Acar, Umut A.
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 500 KB
english, 2008
34

Space profiling for parallel functional programs

Spoonhower, Daniel, Blelloch, Guy E., Harper, Robert, Gibbons, Phillip B.
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 332 KB
english, 2008
35

Flask

Mainland, Geoffrey, Morrisett, Greg, Welsh, Matt
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 354 KB
english, 2008
36

Implicitly-threaded parallelism in Manticore

Fluet, Matthew, Rainey, Mike, Reppy, John, Shaw, Adam
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 251 KB
english, 2008
37

Typed closure conversion preserves observational equivalence

Ahmed, Amal, Blume, Matthias
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 437 KB
english, 2008
38

Experience report

Nanavati, Ravi
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 137 KB
english, 2008
39

Lazy and speculative execution in computer systems

Lampson, Butler W.
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 73 KB
english, 2008