Volume 46; Issue 9

ACM SIGPLAN Notices

Volume 46; Issue 9
1

Parametric polymorphism and semantic subtyping

Gesbert, Nils, Genevès, Pierre, Layaïda, Nabil
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 787 KB
english, 2011
2

Frenetic

Foster, Nate, Harrison, Rob, Freedman, Michael J., Monsanto, Christopher, Rexford, Jennifer, Story, Alec, Walker, David
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 606 KB
english, 2011
3

Making standard ML a practical database programming language

Ohori, Atsushi, Ueno, Katsuhiro
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 426 KB
english, 2011
4

How to make ad hoc proof automation less ad hoc

Gonthier, Georges, Ziliani, Beta, Nanevski, Aleksandar, Dreyer, Derek
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 589 KB
english, 2011
5

Recursion principles for syntax with bindings and substitution

Popescu, Andrei, Gunter, Elsa L.
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 642 KB
english, 2011
6

Pushdown flow analysis of first-class control

Vardoulakis, Dimitrios, Shivers, Olin
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 626 KB
english, 2011
7

Functional modelling of musical harmony

Magalhães, José Pedro, de Haas, W. Bas
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 843 KB
english, 2011
8

Forest

Fisher, Kathleen, Foster, Nate, Walker, David, Zhu, Kenny Q.
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 651 KB
english, 2011
9

Binders unbound

Weirich, Stephanie, Yorgey, Brent A., Sheard, Tim
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 626 KB
english, 2011
10

Lightweight monadic programming in ML

Swamy, Nikhil, Guts, Nataliya, Leijen, Daan, Hicks, Michael
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 693 KB
english, 2011
11

On the bright side of type classes

Devriese, Dominique, Piessens, Frank
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 532 KB
english, 2011
12

Geometry of synthesis iv

Ghica, Dan R., Smith, Alex, Singh, Satnam
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 2.05 MB
english, 2011
13

Typed self-interpretation by pattern matching

Jay, Barry, Palsberg, Jens
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 508 KB
english, 2011
15

A kripke logical relation for effect-based program transformations

Thamsborg, Jacob, Birkedal, Lars
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 688 KB
english, 2011
16

Functional programming through deep time

Mitchell, Emily G.
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 1.74 MB
english, 2011
17

Subtyping delimited continuations

Materzok, Marek, Biernacki, Dariusz
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 632 KB
english, 2011
18

Incremental updates for efficient bidirectional transformations

Wang, Meng, Gibbons, Jeremy, Wu, Nicolas
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 521 KB
english, 2011
19

Towards a comprehensive theory of monadic effects

Filinski, Andrzej
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 307 KB
english, 2011
20

Parsing with derivatives

Might, Matthew, Darais, David, Spiewak, Daniel
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 571 KB
english, 2011
21

Implicit self-adjusting computation for purely functional programs

Chen, Yan, Dunfield, Joshua, Hammer, Matthew A., Acar, Umut A.
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 598 KB
english, 2011
22

A hierarchy of mendler style recursion combinators

Ahn, Ki Yung, Sheard, Tim
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 684 KB
english, 2011
23

Using camlp4 for presenting dynamic mathematics on the web

Chyzak, Frédéric, Darrasse, Alexis
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 741 KB
english, 2011
24

Characteristic formulae for the verification of imperative programs

Charguéraud, Arthur
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 500 KB
english, 2011
25

Just do it

Gibbons, Jeremy, Hinze, Ralf
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 495 KB
english, 2011
26

Programming assurance cases in Agda

Takeyama, Makoto
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 352 KB
english, 2011
27

Temporal higher-order contracts

Disney, Tim, Flanagan, Cormac, McCarthy, Jay
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 642 KB
english, 2011
28

Modular rollback through control logging

Shivers, Olin, Turon, Aaron J.
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 477 KB
english, 2011
29

Nameless, painless

Pouillard, Nicolas
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 596 KB
english, 2011
30

An efficient non-moving garbage collector for functional languages

Ueno, Katsuhiro, Ohori, Atsushi, Otomo, Toshiaki
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 629 KB
english, 2011
31

Linearity and PCF

Gaboardi, Marco, Paolini, Luca, Piccolo, Mauro
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 560 KB
english, 2011
32

Proving the unique fixed-point principle correct

Hinze, Ralf, James, Daniel W.H.
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 658 KB
english, 2011
33

Set-theoretic foundation of parametric polymorphism and subtyping

Castagna, Giuseppe, Xu, Zhiwu
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 604 KB
english, 2011
34

Monads, zippers and views

Schrijvers, Tom, Oliveira, Bruno C.d.S.
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 500 KB
english, 2011
35

An equivalence-preserving CPS translation via multi-language semantics

Ahmed, Amal, Blume, Matthias
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 653 KB
english, 2011