Volume 42; Issue 9

ACM SIGPLAN Notices

Volume 42; Issue 9
2

Programiing finger trees in Coq

Sozeau, Matthieu
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 311 KB
english, 2007
3

Experience report

Wazny, Jeremy
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 90 KB
english, 2007
4

Extensible pattern matching via a lightweight language extension

Syme, Don, Neverov, Gregory, Margetson, James
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 251 KB
english, 2007
5

Inductive reasoning about effectful data types

Filinski, Andrzej, Støvring, Kristian
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 405 KB
english, 2007
6

Experience report

Sims, Steve, DuVarney, Daniel C.
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 297 KB
english, 2007
7

iTasks

Plasmeijer, Rinus, Achten, Peter, Koopman, Pieter
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 425 KB
english, 2007
8

Experience report

Welsh, Noel, Gurnell, David
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 99 KB
english, 2007
9

Type-safe higher-order channels in ML-like languages

Park, Sungwoo
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 264 KB
english, 2007
10

Evaluating high-level distributed language constructs

Nyström, Jan, Trinder, Phil, King, David
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 482 KB
english, 2007
11

Experience report

Frenzel, Leif
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 74 KB
english, 2007
12

A generic usage analysis with subeffect qualifiers

Hage, Jurriaan, Holdermans, Stefan, Middelkoop, Arie
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 252 KB
english, 2007
13

Feedback directed implicit parallelism

Harris, Tim, Singh, Satnam
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 653 KB
english, 2007
14

Lazy call-by-value evaluation

Braßel, Bernd, Hanus, Michael, Fischer, Sebastian, Huch, Frank, Vidal, Germán
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 307 KB
english, 2007
15

Implicit phasing for R6RS libraries

Ghuloum, Abdulaziz, Dybvig, R. Kent
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 250 KB
english, 2007
16

User-friendly functional programming for web mashups

Ennals, Rob, Gay, David
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 707 KB
english, 2007
17

Tangible functional programming

Elliott, Conal M.
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 462 KB
english, 2007
18

A type system for recursive modules

Dreyer, Derek
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 288 KB
english, 2007
20

Functional pearl

Herman, David
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 283 KB
english, 2007
21

Compiling with continuations, continued

Kennedy, Andrew
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 317 KB
english, 2007
22

Experience report

Cooper, Jonathan, McKeever, Steve
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 225 KB
english, 2007
23

Faster laziness using dynamic pointer tagging

Marlow, Simon, Yakushev, Alexey Rodriguez, Jones, Simon Peyton
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 209 KB
english, 2007
24

McErlang

Fredlund, Lars-Åke, Svensson, Hans
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 316 KB
english, 2007
25

Experience report

Beshers, Clifford, Fox, David, Shaw, Jeremy
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 141 KB
english, 2007
26

Call-pattern specialisation for haskell programs

Jones, Simon Peyton
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 214 KB
english, 2007
27

Ott

Sewell, Peter, Nardelli, Francesco Zappa, Owens, Scott, Peskine, Gilles, Ridge, Thomas, Sarkar, Susmit, Strniša, Rok
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 308 KB
english, 2007
28

Termination analysis and call graph construction for higher-order functional programs

Sereni, Damien
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 296 KB
english, 2007
29

Relating complexity and precision in control flow analysis

Van Horn, David, Mairson, Harry G.
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 391 KB
english, 2007
30

A type directed translation of MLF to system F

Leijen, Daan
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 277 KB
english, 2007
31

On Barron and Strachey's cartesian product function

Danvy, Olivier, Spivey, Michael
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 142 KB
english, 2007
32

Stream fusion

Coutts, Duncan, Leshchinskiy, Roman, Stewart, Don
Journal:
ACM SIGPLAN Notices
Year:
2007
Language:
english
File:
PDF, 286 KB
english, 2007