Volume 47; Issue 9

ACM SIGPLAN Notices

Volume 47; Issue 9
2

Deconstraining DSLs

Jones, Will, Field, Tony, Allwood, Tristan
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 605 KB
english, 2012
3

A meta-scheduler for the par-monad

Foltzer, Adam, Kulkarni, Abhishek, Swords, Rebecca, Sasidharan, Sajith, Jiang, Eric, Newton, Ryan
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 777 KB
english, 2012
5

Pure type systems with corecursion on streams

Severi, Paula G., de Vries, Fer-Jan J.
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 671 KB
english, 2012
6

Equality proofs and deferred type errors

Vytiniotis, Dimitrios, Peyton Jones, Simon, Magalhães, José Pedro
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 583 KB
english, 2012
7

An error-tolerant type system for variational lambda calculus

Chen, Sheng, Erwig, Martin, Walkingshaw, Eric
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 741 KB
english, 2012
8

Transporting functions across ornaments

Dagand, Pierre-Evariste, McBride, Conor
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 706 KB
english, 2012
10

Experience report

Daniels, Noah M., Gallant, Andrew, Ramsey, Norman
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 675 KB
english, 2012
11

Elaborating intersection and union types

Dunfield, Joshua
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 534 KB
english, 2012
12

Operational semantics using the partiality monad

Danielsson, Nils Anders
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 570 KB
english, 2012
13

Tales from the jungle

Sewell, Peter
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 275 KB
english, 2012
14

High performance embedded domain specific languages

Olukotun, Kunle
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 309 KB
english, 2012
15

Explicitly heterogeneous metaprogramming with MetaHaskell

Mainland, Geoffrey
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 896 KB
english, 2012
17

Agda-curious?

McBride, Conor Thomas
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 391 KB
english, 2012
18

Practical typed lazy contracts

Chitil, Olaf
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 419 KB
english, 2012
19

Sneaking around concatMap

Höner zu Siederdissen, Christian
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 512 KB
english, 2012
20

Painless programming combining reduction and search

Sheard, Timothy E.
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 554 KB
english, 2012
21

Experience report

Pike, Lee, Wegmann, Nis, Niller, Sebastian, Goodloe, Alwyn
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 459 KB
english, 2012
22

Nested data-parallelism on the gpu

Bergstrom, Lars, Reppy, John
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 535 KB
english, 2012
23

Typing unmarshalling without marshalling types

Henry, Grégoire, Mauny, Michel, Chailloux, Emmanuel, Manoury, Pascal
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 628 KB
english, 2012
24

Introspective pushdown analysis of higher-order programs

Earl, Christopher, Sergey, Ilya, Might, Matthew, Van Horn, David
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 873 KB
english, 2012
25

Propositions as sessions

Wadler, Philip
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 550 KB
english, 2012
26

Formal verification of monad transformers

Huffman, Brian
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 388 KB
english, 2012
27

Superficially substructural types

Krishnaswami, Neelakantan R., Turon, Aaron, Dreyer, Derek, Garg, Deepak
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 567 KB
english, 2012
28

Proof-producing synthesis of ML from higher-order logic

Myreen, Magnus O., Owens, Scott
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 705 KB
english, 2012
29

Functional programming with structured graphs

Oliveira, Bruno C.d.S., Cook, William R.
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 457 KB
english, 2012