Ralf Hinze, Norman Ramsey
Proceedings of the 12th International Conference on Functional Programming
ICFP, 2007.

@proceedings{ICFP-2007,
	address       = "Freiburg, Germany",
	editor        = "Ralf Hinze and Norman Ramsey",
	isbn          = "978-1-59593-815-2",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 12th International Conference on Functional Programming}",
	year          = 2007,
}

Contents (33 items)

7 ×#functional
6 ×#case study
6 ×#experience
6 ×#programming
3 ×#analysis
3 ×#haskell
3 ×#named
3 ×#web
2 ×#distributed
2 ×#higher-order

ICFP-2007-SewellNOPRSS #effectiveness #named #semantics #tool support

Ott: effective tool support for the working semanticist (PS, FZN, SO, GP, TR, SS, RS), pp. 1–12.

ICFP-2007-Wazny #case study #experience #functional #programming

Experience report: functional programming in c-rules (JW), pp. 25–28.

ICFP-2007-SymeNM #lightweight #pattern matching

Extensible pattern matching via a lightweight language extension (DS, GN, JM), pp. 29–40.

ICFP-2007-DanvyS #on the

On Barron and Strachey’s cartesian product function (OD, JMS), pp. 41–46.

ICFP-2007-MatsudaHNHT #automation #bidirectional

Bidirectionalization transformation based on automatic derivation of view complement functions (KM, ZH, KN, MH, MT), pp. 47–58.

ICFP-2007-Elliott #functional #programming

Tangible functional programming (CE), pp. 59–70.

ICFP-2007-Sereni #analysis #functional #graph #higher-order #source code #termination

Termination analysis and call graph construction for higher-order functional programs (DS), pp. 71–84.

ICFP-2007-HornM #analysis #complexity #control flow #precise

Relating complexity and precision in control flow analysis (DVH, HGM), pp. 85–96.

ICFP-2007-FilinskiS #data type #induction #reasoning

Inductive reasoning about effectful data types (AF, KS), pp. 97–110.

ICFP-2007-Leijen #system f

A type directed translation of MLF to system F (DL), pp. 111–122.

ICFP-2007-Lloyd #declarative #programming

Declarative programming for artificial intelligence applications (JWL), pp. 123–124.

ICFP-2007-FredlundS #distributed #functional #model checking #named #programming language

McErlang: a model checker for a distributed functional programming language (LÅF, HS), pp. 125–136.

ICFP-2007-SimsD #case study #experience #validation

Experience report: the reactis validation tool (SS, DCD), pp. 137–140.

ICFP-2007-PlasmeijerAK #execution #interactive #named #specification #web

iTasks: executable specifications of interactive work flow systems for the web (RP, PA, PWMK), pp. 141–152.

ICFP-2007-WelshG #case study #development #experience #web

Experience report: scheme in commercial web application development (NW, DG), pp. 153–156.

ICFP-2007-Herman #functional #how

Functional pearl: the great escape or, how to jump the border without getting caught (DH), pp. 157–164.

ICFP-2007-FlattYFF #composition #programming

Adding delimited and composable control to a production programming environment (MF, GY, RBF, MF), pp. 165–176.

ICFP-2007-Kennedy #compilation #continuation

Compiling with continuations, continued (AK), pp. 177–190.

ICFP-2007-Park #higher-order #type safety

Type-safe higher-order channels in ML-like languages (SP), pp. 191–202.

ICFP-2007-NystromTK #distributed

Evaluating high-level distributed language constructs (JHN, PWT, DJK), pp. 203–212.

ICFP-2007-BeshersFS #case study #experience #functional #linux #programming #using

Experience report: using functional programming to manage a linux distribution (CB, DF, JS), pp. 213–218.

ICFP-2007-Pfenning #revisited #type system

Subtyping and intersection types revisited (FP), p. 219.

ICFP-2007-Frenzel #case study #experience #haskell #ide

Experience report: building an eclipse-based IDE for Haskell (LF), pp. 220–222.

ICFP-2007-EnnalsG #functional #programming #web

User-friendly functional programming for web mashups (RE, DG), pp. 223–234.

ICFP-2007-HageHM #analysis

A generic usage analysis with subeffect qualifiers (JH, SH, AM), pp. 235–246.

ICFP-2007-CooperM #case study #experience #haskell #interpreter

Experience report: a Haskell interpreter for cellML (JC, SM), pp. 247–250.

ICFP-2007-HarrisS #feedback #parallel

Feedback directed implicit parallelism (TH, SS), pp. 251–264.

ICFP-2007-BrasselHFHV #call-by #evaluation #lazy evaluation

Lazy call-by-value evaluation (BB, MH, SF, FH, GV), pp. 265–276.

ICFP-2007-MarlowYJ #lazy evaluation #performance #pointer #using

Faster laziness using dynamic pointer tagging (SM, ARY, SLPJ), pp. 277–288.

ICFP-2007-Dreyer #recursion #type system

A type system for recursive modules (DD), pp. 289–302.

ICFP-2007-GhuloumD #library

Implicit phasing for R6RS libraries (AG, RKD), pp. 303–314.

ICFP-2007-CouttsLS

Stream fusion: from lists to streams to nothing at all (DC, RL, DS), pp. 315–326.

ICFP-2007-Jones #haskell #source code

Call-pattern specialisation for haskell programs (SLPJ), pp. 327–337.