Volume 40; Issue 9

ACM SIGPLAN Notices

Volume 40; Issue 9
1

Scrap your boilerplate with class

Lämmel, Ralf, Jones, Simon Peyton
Journal:
ACM SIGPLAN Notices
Year:
2005
Language:
english
File:
PDF, 198 KB
english, 2005
2

JavaScript at ten years

Eich, Brendan
Journal:
ACM SIGPLAN Notices
Year:
2005
Language:
english
File:
PDF, 81 KB
english, 2005
4

The anatomy of a loop

Shivers, Olin
Journal:
ACM SIGPLAN Notices
Year:
2005
Language:
english
File:
PDF, 185 KB
english, 2005
5

Acute

Sewell, Peter, Leifer, James J., Wansbrough, Keith, Nardelli, Francesco Zappa, Allen-Williams, Mair, Habouzit, Pierre, Vafeiadis, Viktor
Journal:
ACM SIGPLAN Notices
Year:
2005
Language:
english
File:
PDF, 190 KB
english, 2005
6

Recursive type generativity

Dreyer, Derek
Journal:
ACM SIGPLAN Notices
Year:
2005
Language:
english
File:
PDF, 200 KB
english, 2005
7

Qualified types for MLF

Leijen, Daan, Löh, Andres
Journal:
ACM SIGPLAN Notices
Year:
2005
Language:
english
File:
PDF, 291 KB
english, 2005
8

Dynamic optimization for functional reactive programming using generalized algebraic data types

Nilsson, Henrik
Journal:
ACM SIGPLAN Notices
Year:
2005
Language:
english
File:
PDF, 196 KB
english, 2005
9

Type inference, principal typings, and let-polymorphism for first-class mixin modules

Makholm, Henning, Wells, J. B.
Journal:
ACM SIGPLAN Notices
Year:
2005
Language:
english
File:
PDF, 222 KB
english, 2005
10

A language-based approach to functionally correct imperative programming

Westbrook, Edwin, Stump, Aaron, Wehrman, Ian
Journal:
ACM SIGPLAN Notices
Year:
2005
Language:
english
File:
PDF, 167 KB
english, 2005
11

A step-indexed model of substructural state

Ahmed, Amal, Fluet, Matthew, Morrisett, Greg
Journal:
ACM SIGPLAN Notices
Year:
2005
Language:
english
File:
PDF, 286 KB
english, 2005
13

From ML type inference to stratified type inference

Pottier, François
Journal:
ACM SIGPLAN Notices
Year:
2005
Language:
english
File:
PDF, 81 KB
english, 2005
14

An expressive language of signatures

Ramsey, Norman, Fisher, Kathleen, Govereau, Paul
Journal:
ACM SIGPLAN Notices
Year:
2005
Language:
english
File:
PDF, 274 KB
english, 2005
15

High-level views on low-level representations

Diatchki, Iavor S., Jones, Mark P., Leslie, Rebekah
Journal:
ACM SIGPLAN Notices
Year:
2005
Language:
english
File:
PDF, 172 KB
english, 2005
16

Scrap your nameplate

Cheney, James
Journal:
ACM SIGPLAN Notices
Year:
2005
Language:
english
File:
PDF, 220 KB
english, 2005
17

Aspectual Caml

Masuhara, Hidehiko, Tatsuzawa, Hideaki, Yonezawa, Akinori
Journal:
ACM SIGPLAN Notices
Year:
2005
Language:
english
File:
PDF, 144 KB
english, 2005
18

Combining programming with theorem proving

Chen, Chiyan, Xi, Hongwei
Journal:
ACM SIGPLAN Notices
Year:
2005
Language:
english
File:
PDF, 228 KB
english, 2005
19

AtomCaml

Ringenburg, Michael F., Grossman, Dan
Journal:
ACM SIGPLAN Notices
Year:
2005
Language:
english
File:
PDF, 238 KB
english, 2005
20

A logical analysis of aliasing in imperative higher-order functions

Berger, Martin, Honda, Kohei, Yoshida, Nobuko
Journal:
ACM SIGPLAN Notices
Year:
2005
Language:
english
File:
PDF, 229 KB
english, 2005
21

Poly AML

Dantas, Daniel S., Walker, David, Washburn, Geoffrey, Weirich, Stephanie
Journal:
ACM SIGPLAN Notices
Year:
2005
Language:
english
File:
PDF, 991 KB
english, 2005
22

Mechanizing the meta-theory of programming languages

Harper, Robert
Journal:
ACM SIGPLAN Notices
Year:
2005
Language:
english
File:
PDF, 84 KB
english, 2005
24

Associated type synonyms

Chakravarty, Manuel M. T., Keller, Gabriele, Jones, Simon Peyton
Journal:
ACM SIGPLAN Notices
Year:
2005
Language:
english
File:
PDF, 213 KB
english, 2005