Search results for "ICFP"

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

Publications at "ICFP"( http://dblp.L3S.de/Venues/ICFP )