Proceedings of the 12th International Conference on Functional Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

FP
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.