|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 867 occurrences of 406 keywords
|
|
|
Results
Found 715 publication records. Showing 715 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | John H. Reppy, Claudio V. Russo, Yingqi Xiao |
Parallel concurrent ML. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
parallelism, concurrency, message passing |
1 | Matthew Flatt, Eli Barzilay, Robert Bruce Findler |
Scribble: closing the book on ad hoc documentation tools. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
domain-specific languages, macros, metaprogramming |
1 | Nick Benton, Chung-Kil Hur |
Biorthogonality, step-indexing and compiler correctness. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
biorthogonality, step-indexing, denotational semantics, proof assistants, compiler verification |
1 | Pierre Genevès, Nabil Layaïda, Vincent Quint |
Identifying query incompatibilities with evolving XML schemas. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
XML, analysis, evolution, queries, schema, compatibility |
1 | Dan P. Piponi |
Commutative monads, diagrams and knots. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
tensor networks, linear algebra, monads, knot theory |
1 | Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones |
FPH: first-class polymorphism for Haskell. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
higher-rank types, impredicativity, type inference |
1 | Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie |
Report on the tenth ICFP programming contest. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
reverse engineering, programming contest |
1 | Arthur Charguéraud, François Pottier |
Functional translation of a calculus of capabilities. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
type systems, effects, monads, aliasing, linearity, capabilities, regions, ownership |
1 | Geoffrey Mainland, Greg Morrisett, Matt Welsh |
Flask: staged functional programming for sensor networks. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
meta programming |
1 | Lennart Augustsson, Howard Mansell, Ganesh Sittampalam |
Paradise: a two-stage DSL embedded in Haskell. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
dsels, paradise, Haskell, metaprogramming |
1 | Daniel Spoonhower, Guy E. Blelloch, Robert Harper 0001, Phillip B. Gibbons |
Space profiling for parallel functional programs. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
cost semantics, scheduling, parallelism, profiling, standard ml |
1 | Fritz Henglein |
Generic discrimination: sorting and paritioning unshared data in linear time. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
multiset discrimination, total preorder, partitioning, generic, sorting, functional, equivalence, discrimination, discriminator, order |
1 | Derek Dreyer, Andreas Rossberg |
Mixin' up the ML module system. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
ML modules, hierarchical composability, mixin modules, type systems, abstract data types, recursive modules |
1 | Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal |
Ynot: dependent types for imperative programs. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
type theory, monads, Hoare logic, separation logic |
1 | Limin Jia 0001, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic |
AURA: a programming language for authorization and audit. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
access control, type systems, audit, authorization logic |
1 | Giuseppe Castagna, Kim Nguyen 0001 |
Typed iterators for XML. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
XML, polymorphism, iterators, subtyping |
1 | Sebastian Fischer 0001, Herbert Kuchen |
Data-flow testing of declarative programs. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
data flow, code coverage, curry |
1 | Adam Chlipala |
Parametric higher-order abstract syntax for mechanized semantics. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
type-theoretic semantics, dependent types, compiler verification, interactive proof assistants |
1 | Ralf Hinze |
Functional pearl: streams and unique fixed points. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
finite calculus, unique fixed points, streams, generating functions, recurrences, coinduction |
1 | Louis-Julien Guillemette, Stefan Monnier |
A type-preserving compiler in Haskell. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
compilation, higher-order abstract syntax, typed assembly language, de Bruijn |
1 | Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann |
Type checking with open type functions. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
type families, type functions, Haskell, type checking |
1 | Mark P. Jones |
Experience report: playing the DSL card. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
Timber, component configuration, functional programming, domain-specific languages, Haskell |
1 | Sungwoo Park, Jinha Kim, Hyeonseung Im |
Functional netlists. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
linear type system, functional language, hardware description language |
1 | Butler W. Lampson |
Lazy and speculative execution in computer systems. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
lazy evaluation |
1 | Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw |
Implicitly-threaded parallelism in Manticore. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
implictly-threaded parallelism, parallel binding, parallel case, data parallelism, exceptions |
1 | James Hook, Peter Thiemann 0001 (eds.) |
Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008 |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce |
Quotient lenses. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
bidirectional languages, bijective languages, boomerang, regular string transducers, equivalences, lenses, view update problem, canonizers, regular types |
1 | David Van Horn, Harry G. Mairson |
Deciding kCFA is complete for EXPTIME. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
complexity, flow analysis |
1 | Alexander Krauss 0001 |
Pattern minimization problems over recursive data types. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
complexity, pattern matching, theorem proving |
1 | Michael D. Adams 0001, R. Kent Dybvig |
Efficient nondestructive equality checking for trees and graphs. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
dfa equivalence, eq hash tables, scheme, equality, union-find |
1 | Laura Effinger-Dean, Matthew Kehrt, Dan Grossman |
Transactional events for ML. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
synchronous message passing, transactional events, concurrency |
1 | Christian Convey, Andrew Fredricks, Christopher Gagner, Douglas Maxwell, Lutz Hamel |
Experience report: erlang in acoustic ray tracing. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
acoustic ray tracing, C++, Erlang |
1 | Amal Ahmed 0001, Matthias Blume |
Typed closure conversion preserves observational equivalence. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
equivalence-preserving compilation, typed closure conversion, full abstraction, step-indexed logical relations |
1 | Olivier Danvy |
Defunctionalized interpreters for programming languages. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
big-step abstract machines, context-sensitive reduction semantics, cps transformation, refocusing, small-step abstract machines, interruptions, continuations, structural operational semantics, natural semantics, defunctionalization, reduction semantics |
1 | Matthew Fluet, Mike Rainey, John H. Reppy |
A scheduling framework for general-purpose parallel languages. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
heterogeneous parallel languages, scheduling, compilers, run-time systems |
1 | James Cheney |
FLUX: functional updates for XML. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
update languages, XML, static analysis, type systems |
1 | Mark P. Jones |
Polymorphism and page tables: systems programming from a functional programmer's perspective. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
memory manipulation, functional programming, type systems, data representation, systems programming |
1 | Akimasa Morihata, Kiminori Matsuzaki, Masato Takeichi |
Write it recursively: a generic framework for optimal path queries. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
finite state automaton, optimal path query, program transformation, recursive function |
1 | Eelco Dolstra, Andres Löh |
NixOS: a purely functional Linux distribution. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
NixOS, nix, package management, purely functional deployment model, purely functional language, system configuration management, software deployment |
1 | Didier Rémy, Boris Yakobowski |
From ML to MLF: graphic type constraints with efficient type inference. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
type generalization, type instantiation, graphs, ML, types, type inference, unification, system F, binders, type constraints, MLF |
1 | David J. Duke, Rita Borgo, Colin Runciman, Malcolm Wallace |
Experience report: visualizing data through functional pipelines. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
visualization, evaluation, streaming, pipeline, Haskell |
1 | Ravi Nanavati |
Experience report: a pure shirt fits. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
functional programming, Haskell, monads, Bluespec |
1 | Daan Leijen |
HMF: simple type inference for first-class polymorphism. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
first-class polymorphism, type inference |
1 | Nicolas Oury, Wouter Swierstra |
The power of Pi. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
domain-specific embedded languages, dependent types |
1 | Ruy Ley-Wild, Matthew Fluet, Umut A. Acar |
Compiling self-adjusting programs with continuations. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
memoization, continuation-passing style, self-adjusting computation |
1 | Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman |
iTasks: executable specifications of interactive work flow systems for the web. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
iData, iTask, clean |
1 | Derek Dreyer |
A type system for recursive modules. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
type systems, recursion, abstract data types, modules |
1 | Clifford Beshers, David Fox, Jeremy Shaw |
Experience report: using functional programming to manage a linux distribution. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen |
Adding delimited and composable control to a production programming environment. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jan Henry Nyström, Philip W. Trinder, David J. King |
Evaluating high-level distributed language constructs. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
programming languages, haskell, distributed programming, erlang |
1 | Noel Welsh, David Gurnell |
Experience report: scheme in commercial web application development. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
web, scheme |
1 | Lars-Åke Fredlund, Hans Svensson |
McErlang: a model checker for a distributed functional programming language. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Cooper, Steve McKeever |
Experience report: a Haskell interpreter for cellML. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
cellML, haskell |
1 | Daan Leijen |
A type directed translation of MLF to system F. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
first-class polymorphism, system F, MLF |
1 | Damien Sereni |
Termination analysis and call graph construction for higher-order functional programs. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
semantics, program analysis, functional programs, termination |
1 | Ralf Hinze, Norman Ramsey (eds.) |
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007 |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Conal Elliott |
Tangible functional programming. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
gestural composition, end-user programming, interactive visualization, interactive programming, combinator libraries, arrows |
1 | Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano 0001, Makoto Hamana, Masato Takeichi |
Bidirectionalization transformation based on automatic derivation of view complement functions. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
bidirectional transformation, program transformation, view updating, automatic program generation, program inversion |
1 | Abdulaziz Ghuloum, R. Kent Dybvig |
Implicit phasing for R6RS libraries. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
binding phases, hygienic macros, macro expansion, scheme, libraries |
1 | David Herman |
Functional pearl: the great escape or, how to jump the border without getting caught. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
delimited control, continuations, dynamic binding |
1 | Tim Harris 0001, Satnam Singh |
Feedback directed implicit parallelism. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
functional programming, haskell, implicit parallelism |
1 | Jeremy Wazny |
Experience report: functional programming in c-rules. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Leif Frenzel |
Experience report: building an eclipse-based IDE for Haskell. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa |
Ott: effective tool support for the working semanticist. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jurriaan Hage, Stefan Holdermans, Arie Middelkoop |
A generic usage analysis with subeffect qualifiers. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
uniqueness typing, type and effect systems, qualified types, sharing analysis |
1 | Andrew Kennedy |
Compiling with continuations, continued. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
continuations, monads, optimizing compilation, continuation passing style, functional programming languages |
1 | Steve Sims, Daniel C. DuVarney |
Experience report: the reactis validation tool. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
reactis, functional programming, standard ML, SML |
1 | Frank Pfenning |
Subtyping and intersection types revisited. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Danvy, J. Michael Spivey |
On Barron and Strachey's cartesian product function. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
CPL |
1 | Simon L. Peyton Jones |
Call-pattern specialisation for haskell programs. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
compilers, optimisation, haskell, specialisation |
1 | Bernd Braßel, Michael Hanus, Sebastian Fischer 0001, Frank Huch, Germán Vidal |
Lazy call-by-value evaluation. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
debugging techniques, laziness |
1 | Duncan Coutts, Roman Leshchinskiy, Don Stewart |
Stream fusion: from lists to streams to nothing at all. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
program fusion, program optimisation, program transformation, functional programming, deforestation |
1 | David Van Horn, Harry G. Mairson |
Relating complexity and precision in control flow analysis. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
eta expansion, proofnet, complexity, static analysis, continuation, normalization, linear logic, control flow analysis, geometry of interaction |
1 | John W. Lloyd |
Declarative programming for artificial intelligence applications. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
programming, logic, functional, modal, probabilistic |
1 | Matthieu Sozeau |
Program-ing finger trees in Coq. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sungwoo Park |
Type-safe higher-order channels in ML-like languages. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
channel locality, distributed languages, higher-order channels, parallel languages |
1 | Andrzej Filinski, Kristian Støvring |
Inductive reasoning about effectful data types. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
abstract effects, streams, monads, backtracking, logical relations, recursive types, equational reasoning |
1 | Don Syme, Gregory Neverov, James Margetson |
Extensible pattern matching via a lightweight language extension. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
F#, functional programming, pattern matching, ML |
1 | Robert Ennals, David Gay |
User-friendly functional programming for web mashups. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
end-used programming, web, mashup, browser |
1 | Simon Marlow, Alexey Rodriguez Yakushev, Simon L. Peyton Jones |
Faster laziness using dynamic pointer tagging. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Lukasz Ziarek, Philip Schatz, Suresh Jagannathan |
Stabilizers: a modular checkpointing abstraction for concurrent functional programs. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
transactions, checkpointing, concurrent programming, exception handling, error recovery, concurrent ML |
1 | David Fisher, Olin Shivers |
Static analysis for syntax objects. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
extensible programming languages, language towers, lazy delegation, static analysis, domain-specific languages, type inference, flow analysis, macros |
1 | Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn |
Simple unification-based type inference for GADTs. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
type inference, generalized algebraic data types |
1 | Shin-ya Katsumata, Susumu Nishimura |
Algebraic fusion of functions with an accumulating parameter and its improvement. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
accumulating parameter, data contexts, higher-order removal, monoids and monoid homomorphisms, partial and infinite data structures, shortcut fusion |
1 | Andreas Rossberg |
The missing link: dynamic components for ML. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
pickling, components, distributed programming, modules, separate compilation, dynamic typing, dynamic linking, units |
1 | Richard S. Bird |
Fifteen years of functional pearls. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Keiko Nakata 0001, Jacques Garrigue |
Recursive modules for programming. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
applicative functors, the expression problem, type systems, type inference, recursive modules |
1 | Marc Shapiro 0001 |
Practical proofs of concurrent programs. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
concurrent programming, assertions, hoare logic, program proofs, rely-guarantee |
1 | Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov |
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
languages with bindings, mechanized reasoning, meta-theory, metaPRL, nuPRL, reflection, type theory, higher-order abstract syntax |
1 | Adam Chlipala |
Modular development of certified program verifiers with a proof assistant. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
programming with dependent types, proof-carrying code, interactive proof assistants |
1 | Pierre-Malo Deniélou, James J. Leifer |
Abstraction preservation and subtyping in distributed languages. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
serialisation and distributed computation, subtyping, type theory, programming language semantics, module systems |
1 | Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones |
Boxy types: inference for higher-rank types and impredicativity. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
higher-rank types, impredicativity, type inference |
1 | Grigore Rosu |
Equality of streams is a Pi0 over 2-complete problem. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
infinite structures, streams, algebraic specification |
1 | Matthias Blume, Umut A. Acar, Wonseok Chae |
Extensible programming with first-class cases. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
first-class cases, duality, records, sums |
1 | Martín Abadi |
Access control in a core calculus of dependency. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
authorization, types |
1 | Oleg Kiselyov, Chung-chieh Shan, Amr Sabry |
Delimited dynamic binding. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
monads, dynamic binding, delimited continuations |
1 | Björn Bringert, Aarne Ranta |
A pattern for almost compositional functions. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
dependent type theory, java, haskell, abstract syntax, traversal, visitor pattern |
1 | Shinya Kawanaka, Haruo Hosoya |
biXid: a bidirectional transformation language for XML. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
XML, tree automata |
1 | Malcolm Dowse, Andrew Butterfield |
Modelling deterministic concurrent I/O. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
concurrency, determinism, effects, monads, I/O |
1 | John H. Reppy, Julia Lawall (eds.) |
Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006 |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 715 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|