|
|
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 | Scott Owens, Matthew Flatt |
From structures and functors to modules and units. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
component, structure, module, unit, functor |
1 | Matthew Might, Olin Shivers |
Improving flow analyses via GammaCFA: abstract garbage collection and counting. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
abstract counting, abstract garbage collection, environment analysis, gamma-CFA, superbeta, program analysis, continuations, lambda calculus, functional languages, flow analysis, CPS, inlining |
1 | R. Kent Dybvig |
The development of Chez Scheme. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
chez scheme, scheme implementation |
1 | Kevin Donnelly, Matthew Fluet |
Transactional events. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
first-class events, synchronous message passing, concurrency, transactions, monads |
1 | David Walker 0001, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August |
Static typing for a faulty lambda calculus. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
transient hardware faults, fault tolerance, type systems, lambda calculus, reliable computing, typed intermediate languages, soft faults |
1 | Aleksandar Nanevski, Greg Morrisett, Lars Birkedal |
Polymorphism and separation in hoare type theory. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
type theory, hoare logic, separation logic |
1 | Chuan-Kai Lin |
Programming monads operationally with Unimo. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
unimo, haskell, monads, monad transformers |
1 | Alain Frisch |
OCaml + XDuce. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
CDuce, XDuce, regular expression types, XML, type inference, OCaml |
1 | Michael F. Ringenburg, Dan Grossman |
AtomCaml: first-class atomicity via rollback. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
transactions, concurrent programming, atomicity, objective caml |
1 | Xinyu Feng 0001, Zhong Shao |
Modular verification of concurrent assembly code with dynamic thread creation and termination. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
concurrency verification, dynamic thread creation, proof-carrying code, rely-guarantee |
1 | J. Guadalupe Ramos, Josep Silva, Germán Vidal |
Fast narrowing-driven partial evaluation for inductively sequential programs. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
offline partial evaluation, quasi-termination, narrowing |
1 | Didier Rémy |
Simple, partial type-inference for System F based on type-containment. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
type containment, type reconstruction, polymorphism, type inference, System F, elaboration |
1 | Olivier Danvy, Benjamin C. Pierce (eds.) |
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005 |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Brendan Eich |
JavaScript at ten years. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
JavaScript |
1 | Edwin M. Westbrook, Aaron Stump, Ian Wehrman |
A language-based approach to functionally correct imperative programming. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
RSP, RSP1, program verification, dependent types |
1 | Henning Makholm, J. B. Wells |
Type inference, principal typings, and let-polymorphism for first-class mixin modules. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
mixin modules, record concatenation, row unification, type systems, polymorphism |
1 | Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene |
Monadic augment and generalised short cut fusion. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
short cut fusion, monads, bind, build, augment |
1 | James Cheney |
Scrap your nameplate: (functional pearl). |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
generic programming, binding, names, substitution |
1 | Ralf Lämmel, Simon L. Peyton Jones |
Scrap your boilerplate with class: extensible generic functions. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
recursive dictionaries, typecase, extensibility, generic programming, type classes |
1 | Olin Shivers |
The anatomy of a loop: a story of scope and control. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
compilers, programming languages, functional programming, scheme, continuations, lambda-calculus, iteration, macros, control structures |
1 | Derek Dreyer |
Recursive type generativity. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
generativity, type systems, recursion, abstract data types, effect systems, recursive modules |
1 | François Pottier |
From ML type inference to stratified type inference. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Daan Leijen, Andres Löh |
Qualified types for MLF. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
higher-rank polymorphism, impredicativity, qualified types, MLF |
1 | Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach |
A principled approach to operating system construction in Haskell. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
hardware interface, verification, operating systems, Haskell, monads, programming logic |
1 | Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones |
Associated type synonyms. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
associated types, type functions, type inference, generic programming, type classes |
1 | Chiyan Chen, Hongwei Xi |
Combining programming with theorem proving. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
applied type system, proof erasure, theorem proving, dependent types, ATS |
1 | Amal J. Ahmed 0001, Matthew Fluet, Greg Morrisett |
A step-indexed model of substructural state. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
mutable references, stepindexed model, substructural type system |
1 | Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis |
Acute: high-level programming language design for distributed computation. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
rebinding, programming languages, ML, distributed programming, modules, version control, type theory, abstract types, serialisation, marshalling |
1 | Henrik Nilsson |
Dynamic optimization for functional reactive programming using generalized algebraic data types. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
DSEL, FRP, Yampa, synchronous dataflow languages, functional programming, domain-specific languages, Haskell, reactive programming, GADT, combinator library, arrows |
1 | Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen |
Continuations from generalized stack inspection. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
A-normal form, scheme, continuations, web programming, continuation-passing style, stack inspection, defunctionalization |
1 | Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie |
High-level views on low-level representations. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
bitdata, bitfields, pattern matching, polymorphism, views, data representation, qualified types, bit manipulation |
1 | Norman Ramsey, Kathleen Fisher, Paul Govereau |
An expressive language of signatures. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
signature manipulation, interfaces, signatures, standard ML, objective Caml, programming in the large |
1 | Martin Berger 0001, Kohei Honda 0001, Nobuko Yoshida |
A logical analysis of aliasing in imperative higher-order functions. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
functional programming, typing, aliasing, hoare-logics, ?-calculus, pointers, modalities |
1 | Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry |
Backtracking, interleaving, and terminating monad transformers: (functional pearl). |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
control delimiters, logic programming, Prolog, streams, Haskell, continuations |
1 | Robert Harper 0001 |
Mechanizing the meta-theory of programming languages. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Daniel S. Dantas, David Walker 0001, Geoffrey Washburn, Stephanie Weirich |
PolyAML: a polymorphic aspect-oriented functional programming language. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
aspects-oriented programming, functional programming, type systems, type inference, ad-hoc polymorphism |
1 | Hidehiko Masuhara, Hideaki Tatsuzawa, Akinori Yonezawa |
Aspectual Caml: an aspect-oriented functional language. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
pointcut and advice, aspect-oriented programming, objective Caml |
1 | Tachio Terauchi, Alexander Aiken |
Witnessing side-effects. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
functional languages, side-effects |
1 | Dipanwita Sarkar, Oscar Waddell, R. Kent Dybvig |
A nanopass infrastructure for compiler education. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
compiler writing tools, nanopass compilers, syntactic abstraction, domain-specific languages |
1 | Chris Okasaki, Kathleen Fisher (eds.) |
Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004 |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Olin Shivers, David Fisher |
Multi-return function call. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
compilers, programming languages, functional programming, continuations, lambda calculus, control structures, procedure call |
1 | Robert Bruce Findler, Matthew Flatt |
Slideshow: functional presentations. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andrew P. Tolmach, Sergio Antoy, Marius Nita |
Implementing functional logic languages using multiple threads and stores. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
functional logic languages, multi-versioned stores, residuation, narrowing |
1 | Nadji Gauthier, François Pottier |
Numbering matters: first-order canonical forms for second-order recursive types. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
polymorphism, unification, equality, recursive types |
1 | Stephen Tse, Steve Zdancewic |
Translating dependency into parametricity. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
DCC, protection contexts, security, dependency, Haskell, information flow, translation, polymorphism, lambda calculus, monads, parametricity, noninterference, logical relations |
1 | Ralf Hinze |
Generics for the masses. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
haskell 98, generic programming, type classes |
1 | Mitchell Wand, Dale Vaillancourt |
Relating models of backtracking. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
two-continuation semantics, streams, monads, logical relations, adequacy |
1 | Peter Møller Neergaard, Harry G. Mairson |
Types, potency, and idempotency: why nonlinearity and amnesia make a type system work. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
proofnet, complexity, type inference, normalization, intersection types, idempotence |
1 | Ulf T. Wiger |
20 years of industrial functional programming. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Lämmel, Simon L. Peyton Jones |
Scrap more boilerplate: reflection, zips, and generalised casts. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
type cast, reflection, generic programming, zippers |
1 | Norman Ramsey, Simon L. Peyton Jones |
The C - compiler infrastructure. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Paul Graham |
Don't make the wrong mistakes: programming as debugging. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Simon Marlow, Simon L. Peyton Jones |
Making a fast curry: push/enter vs. eval/apply for higher-order languages. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Zena M. Ariola, Hugo Herbelin, Amr Sabry |
A type-theoretic foundation of continuations and prompts. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
callcc, prompt, subcontinuation, continuation, monad, subtraction, shift, reset |
1 | Markus Forsberg, Aarne Ranta |
Functional morphology. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
finite functions, morphological description, functional programming, linguistics, embedded languages |
1 | Jan Christiansen, Frank Huch |
Searching for deadlocks while debugging concurrent haskell programs. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
concurrent haskell, detecting deadlocks, debugging, deadlock |
1 | Niklas Broberg, Andreas Farre, Josef Svenningsson |
Regular expression patterns. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
pattern matching, haskell, regular expressions |
1 | Matthew Fluet, J. Gregory Morrisett |
Monadic regions. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
type system, effect, monad, region, parametric polymorphism, region-based memory management |
1 | David Herman, Philippe Meunier |
Improving the static analysis of embedded languages via partial evaluation. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
value flow analysis, partial evaluation, macros, embedded languages |
1 | John Launchbury |
Galois: high assurance software. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Blume, David A. McAllester |
A sound (and complete) model of contracts. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
safety, contracts, predicates |
1 | Dachuan Yu, Zhong Shao |
Verification of safety properties for concurrent assembly code. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
local guarantee, concurrency, assembly |
1 | Kohei Honda 0001 |
From process logic to program logic. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
types, duality, hoare logic, ?-calculus, higher-order functions, mobile processes |
1 | Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani |
Types for path correctness of XML queries. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
XML types, XML queries, type correctness |
1 | Emmanuel Beffara, Vincent Danos |
Disjunctive normal forms and local exceptions. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
classical realizability, control structures, disjunctive normal forms |
1 | Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra |
Scripting the type inference process. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
domain-specific programming, constraints, type inference, directives, type errors |
1 | David Walker 0001, Steve Zdancewic, Jay Ligatti |
A theory of aspects. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, operational semantics, aspects, type theory |
1 | Yitzhak Mandelbaum, David Walker 0001, Robert Harper 0001 |
An effective theory of type refinements. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
effectful computation, type refinement, linear logic, type theory, local reasoning |
1 | Yukiyoshi Kameyama, Masahito Hasegawa |
A sound and complete axiomatization of delimited continuations. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
continuation, axiomatization, CPS-translation |
1 | Robert Ennals, Simon L. Peyton Jones |
Optimistic evaluation: an adaptive evaluation strategy for non-strict programs. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
haskell, lazy evaluation, online profiling |
1 | Chiyan Chen, Hongwei Xi |
Meta-programming through typeful code representation. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
multi-level staged programming, typeful code representation, meta-programming |
1 | Henrik Nilsson |
Functional automatic differentiation with dirac impulses. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
Dirac impulses, FRP, distribution theory, synchronous dataflow languages, functional programming, haskell, modeling languages, automatic differentiation, hybrid modeling |
1 | Matthias Neubauer, Peter Thiemann 0001 |
Discriminative sum types locate the source of type errors. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
polymorphism, type inference, type errors |
1 | Harry G. Mairson |
From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano |
Iterative-free program analysis. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
SP term, dynamic programming, program analysis, register allocation, control flow graph, tree width, catamorphism |
1 | Didier Le Botlan, Didier Rémy |
MLF: raising ML to the power of system F. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
first-class polymorphism, second-order polymorphism, type annotations, ML, type inference, system F |
1 | Thomas Knight Jr. |
Conservation of information: applications in functional, reversible, and quantum computing. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Michael Y. Levin |
Compiling regular patterns. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
compilation, pattern matching |
1 | Rex L. Page |
Software is discrete mathematics. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
software engineering, formal methods, functional programming, correctness proofs, discrete mathematics, predicate logic |
1 | Véronique Benzaken, Giuseppe Castagna, Alain Frisch |
CDuce: an XML-centric general-purpose language. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
CDuce, XML, type systems, XML-processing |
1 | Philip Wadler |
Call-by-value is dual to call-by-name. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
Curry-Howard correspondence, De Morgan dual, lambda mu calculus, logic, lambda calculus, sequent calculus, natural deduction |
1 | Colin Runciman, Olin Shivers (eds.) |
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003 |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Simon L. Peyton Jones, Alan F. Blackwell, Margaret M. Burnett |
A user-centred approach to functions in Excel. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough |
Global abstraction-safe marshalling with hash types. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
singleton kinds, programming languages, ML, distributed programming, modules, hashing, lambda calculus, type theory, abstract types, serialisation, marshalling |
1 | Geoffrey Washburn, Stephanie Weirich |
Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
modal type system, parametricity, higher-order abstract syntax, parametric polymorphism, catamorphism |
1 | Mitchell Wand |
Understanding aspects: extended abstract. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Andres Löh, Dave Clarke 0001, Johan Jeuring |
Dependency-style generic Haskell. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
generic haskell, functional programming, type systems, generic programming |
1 | Tomoyuki Higuchi, Atsushi Ohori |
A static type system for JVM access control. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
access control, type system, JVM, type inference, stack inspection |
1 | Mark R. Shinwell, Andrew M. Pitts, Murdoch Gabbay |
FreshML: programming with binders made simple. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
alpha-conversion, metaprogramming, variable binding |
1 | Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Paul Stoyle, Keith Wansbrough |
Dynamic rebinding for marshalling and update, with destruct-time? |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
programming languages, distributed programming, lambda calculus, dynamic binding, dynamic update, serialisation, marshalling |
1 | R. John M. Hughes, S. Doaitse Swierstra |
Polish parsers, step by step. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
GLR parsing, Polish representation, ambiguous grammars, online results, breadth-first search, parser combinators |
1 | Vincent Simonet |
An extension of HM(X) with bounded existential and universal data-types. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
existential and universal data-types, structural subtyping, constraint-based type inference |
1 | Magnus Carlsson |
Monads for incremental computing. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gasbichler, Michael Sperber |
Final shift for call/cc: : direct implementation of shift and reset. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
implementation, scheme, continuations |
1 | Neil D. Jones, Arne J. Glenstrup |
Program generation, termination, and binding-time analysis. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Bernard P. Serpette, Manuel Serrano |
Compiling scheme to JVM bytecode: : a performance study. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
compilation, scheme, Java virtual machine, functional languages |
1 | Atsushi Ohori, Kiyoshi Yamatodani |
An interoperable calculus for external object access. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
record polymorphism, Java, interoperability, ML, type inference, object-oriented language |
1 | Keith Hanna |
Interactive visual functional programming. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
visual, interactive, Haskell, functional, live, edit, stylesheet |
1 | Emir Pasalic, Walid Taha, Tim Sheard |
Tagless staged interpreters for typed languages. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
calculus of constructions, definitional interpreters, domain-specific languages, multi-stage programming |
1 | Matthew Flatt |
Composable and compilable macros: : you want it when? |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
language tower, modules, macros |
Displaying result #401 - #500 of 715 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|