Volume 48; Issue 9

ACM SIGPLAN Notices

Volume 48; Issue 9
1

Typed syntactic meta-programming

Devriese, Dominique, Piessens, Frank
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 615 KB
english, 2013
2

Fun with semirings

Dolan, Stephen
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 527 KB
english, 2013
3

Using circular programs for higher-order syntax

Axelsson, Emil, Claessen, Koen
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 459 KB
english, 2013
4

A practical theory of language-integrated query

Cheney, James, Lindley, Sam, Wadler, Philip
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 612 KB
english, 2013
5

Efficient divide-and-conquer parsing of practical context-free languages

Bernardy, Jean-Philippe, Claessen, Koen
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 588 KB
english, 2013
6

Higher-order functional reactive programming without spacetime leaks

Krishnaswami, Neelakantan R.
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 602 KB
english, 2013
8

Unifying structured recursion schemes

Hinze, Ralf, Wu, Nicolas, Gibbons, Jeremy
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 598 KB
english, 2013
9

Modular monadic meta-theory

Delaware, Benjamin, Keuchel, Steven, Schrijvers, Tom, Oliveira, Bruno C.d.S.
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 629 KB
english, 2013
10

C-SHORe

Broadbent, Christopher, Carayol, Arnaud, Hague, Matthew, Serre, Olivier
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 524 KB
english, 2013
11

Productive coprogramming with guarded recursion

Atkey, Robert, McBride, Conor
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 614 KB
english, 2013
12

Experience report

Petersen, Christian L., Gorges, Matthias, Dunsmuir, Dustin, Ansermino, Mark, Dumont, Guy A.
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 1.42 MB
english, 2013
13

The constrained-monad problem

Sculthorpe, Neil, Bracker, Jan, Giorgidze, George, Gill, Andy
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 435 KB
english, 2013
14

Programming and reasoning with algebraic effects and dependent types

Brady, Edwin
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 379 KB
english, 2013
15

Handlers in action

Kammar, Ohad, Lindley, Sam, Oury, Nicolas
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 789 KB
english, 2013
16

The bedrock structured programming system

Chlipala, Adam
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 714 KB
english, 2013
17

Computer science as a school subject

Peyton Jones, Simon
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 338 KB
english, 2013
18

Optimizing abstract abstract machines

Johnson, J. Ian, Labich, Nicholas, Might, Matthew, Van Horn, David
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 848 KB
english, 2013
19

Experience report

St-Amour, Vincent, Toronto, Neil
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 399 KB
english, 2013
20

Functional geometry and the Traité de Lutherie

Mairson, Harry George
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 922 KB
english, 2013
22

Optimising purely functional GPU programs

McDonell, Trevor L., Chakravarty, Manuel M.T., Keller, Gabriele, Lippmeier, Ben
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 703 KB
english, 2013
24

Exploiting vector instructions with generalized stream fusio

Mainland, Geoffrey, Leshchinskiy, Roman, Peyton Jones, Simon
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 689 KB
english, 2013
25

Calculating threesomes, with blame

Garcia, Ronald
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 744 KB
english, 2013
26

Mtac

Ziliani, Beta, Dreyer, Derek, Krishnaswami, Neelakantan R., Nanevski, Aleksandar, Vafeiadis, Viktor
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 597 KB
english, 2013
27

Wellfounded recursion with copatterns

Abel, Andreas M., Pientka, Brigitte
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 710 KB
english, 2013
28

Automatic SIMD vectorization for Haskell

Petersen, Leaf, Orchard, Dominic, Glew, Neal
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 605 KB
english, 2013
29

A short cut to parallelization theorems

Morihata, Akimasa
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 952 KB
english, 2013
30

Hoare-style reasoning with (algebraic) continuations

Delbianco, Germán Andrés, Nanevski, Aleksandar
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 455 KB
english, 2013
32

Simple and compositional reification of monadic embedded languages

Svenningsson, Josef David, Svensson, Bo Joel
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 540 KB
english, 2013
33

Interactive programming with dependent types

Norell, Ulf
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 325 KB
english, 2013
34

Functional reactive programming with liveness guarantees

Jeffrey, Alan
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 543 KB
english, 2013