Search results for "functional programming"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Brent Hailpern, Tien Huynh, György E. Révész	Comparing Two Functional Programming Systems.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	functional programming systems, graph reduction interpreter, DEL-style intermediate instruction set architecture, performance evaluation, benchmarks, functional programming, lambda calculus, functional languages, high level languages, execution times, performance comparison, FP, evaluation strategies, implementation language
3	Curt J. Sampson	Experience report: Haskell in the 'real world': writing a commercial application in a lazy functional lanuage.	ICFP	2009	DBLP DOI BibTeX RDF	commercial programming, financial systems, functional programming, haskell
3	Baltasar Trancón-y-Widemann	A reference-counting garbage collection algorithmfor cyclical functional programming.	ISMM	2008	DBLP DOI BibTeX RDF	functional programming, garbage collection, memory management, cycles, reference counting
3	Erik Meijer	Fundamentalist functional programming.	GPCE	2008	DBLP DOI BibTeX RDF	pure functional programming, concurrency, monads, lazy evaluation, linq
3	Geoffrey Mainland, Greg Morrisett, Matt Welsh	Flask: staged functional programming for sensor networks.	ICFP	2008	DBLP DOI BibTeX RDF	meta programming
3	Richard S. Bird	Spider Spinning for Dummies.	Advanced Functional Programming	2008	DBLP DOI BibTeX RDF
3	Cristóbal Pareja-Flores, Jaime Urquiza-Fuentes, J. Ángel Velázquez-Iturbide	WinHIPE: an IDE for functional programming based on rewriting and visualization.	SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	programming environments, functional programming, tracing, term rewriting, program visualization, program animation, expression evaluation
3	Norihiro Ogata	Formal Ontology of 'Cultures' and 'Ethnic Groups' Based on Type Theory and Functional Programming.	IWIC	2007	DBLP DOI BibTeX RDF	Formal Cultural Ontology, qualia, ethnic group, Functional Programming, culture, Type Theory
3	Lars-Åke Fredlund, Hans Svensson	McErlang: a model checker for a distributed functional programming language.	ICFP	2007	DBLP DOI BibTeX RDF
3	Robert Ennals, David Gay	User-friendly functional programming for web mashups.	ICFP	2007	DBLP DOI BibTeX RDF	end-used programming, web, mashup, browser
3	Jeremy Wazny	Experience report: functional programming in c-rules.	ICFP	2007	DBLP DOI BibTeX RDF
3	Clifford Beshers, David Fox, Jeremy Shaw	Experience report: using functional programming to manage a linux distribution.	ICFP	2007	DBLP DOI BibTeX RDF
3	Delvin C. Defoe, Rob LeGrand, Ron K. Cytron	On the connection between functional programming languages and real-time Java scoped memory.	JTRES	2007	DBLP DOI BibTeX RDF	scoped memory, real-time, performance analysis, data structures, programming languages, functional programming, memory, memory management, real-time Java
3	Horia F. Pop	A Tutorial on Object-Oriented Functional Programming.	CEFP	2007	DBLP DOI BibTeX RDF
3	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
3	Anthony H. Dekker	Lazy functional programming in Java.	SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	lazy lists, Java, Java, functional programming
3	Richard A. Frost	Realization of natural language interfaces using lazy functional programming.	ACM Comput. Surv.	2006	DBLP DOI BibTeX RDF	Montague grammar, lazy functional programming, computational linguistics, Natural-language interfaces, higher-order functions
3	Martin Grabmüller	A model of functional programming with dynamic compilation and optimization.	Trends in Functional Programming	2006	DBLP BibTeX RDF
3	Daniel S. Dantas, David Walker, 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
3	Kevin Hammond	Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach.	CEFP	2005	DBLP DOI BibTeX RDF
3	Peter R. King, Patrick Schmitz, Simon J. Thompson	Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation.	ACM Symposium on Document Engineering	2004	DBLP DOI BibTeX RDF	XML, modeling, animation, functional programming, time, events, continuous, expressions, behaviors, SVG, SMIL, DOM, declarative
3	Rinus Plasmeijer, Arjen van Weelden	A Functional Shell That Operates on Typed and Compiled Applications.	Advanced Functional Programming	2004	DBLP DOI BibTeX RDF
3	Kevin Hammond	Is it time for real-time functional programming?	Trends in Functional Programming	2003	DBLP BibTeX RDF
3	Kenneth MacKenzie, Nicholas Wolverson	Camelot and Grail: resource-aware functional programming for the JVM.	Trends in Functional Programming	2003	DBLP BibTeX RDF
3	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
3	Anton Setzer	Java as a Functional Programming Language.	TYPES	2002	DBLP DOI BibTeX RDF	object calculi, higher types, algebraic types, state pattern, Java, object-oriented programming, functional programming, Lambda calculus, visitor pattern, initial algebras, call-by-value
3	J. Strother Moore	Functional formal methods.	ICFP	2002	DBLP DOI BibTeX RDF	functional programming, Java Virtual Machine, microarchitecture, software verification, Common Lisp, hardware verification, mechanical theorem proving
3	Matthias Felleisen	Developing Interactive Web Programs.	Advanced Functional Programming	2002	DBLP DOI BibTeX RDF
3	Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace	Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat.	Advanced Functional Programming	2002	DBLP DOI BibTeX RDF
3	Cédric Fournet, Fabrice Le Fessant, Luc Maranget, Alan Schmitt	JoCaml: A Language for Concurrent Distributed and Mobile Programming.	Advanced Functional Programming	2002	DBLP DOI BibTeX RDF
3	Andrew M. Pitts	A Fresh Approach to Representing Syntax with Static Binders in Functional Programming.	ICFP	2001	DBLP DOI BibTeX RDF
3	Brian McNamara, Yannis Smaragdakis	Functional programming in C++.	ICFP	2000	DBLP DOI BibTeX RDF	C++
3	Sharon Curtis	An application of functional programming: quilting.	Scottish Functional Programming Workshop	2000	DBLP BibTeX RDF
3	Frédéric Loulergue	Parallel composition and bulk synchronous parallel functional programming.	Scottish Functional Programming Workshop	2000	DBLP BibTeX RDF
3	Koji Kagawa	Compositional References for Stateful Functional Programming.	ICFP	1997	DBLP DOI BibTeX RDF
3	Guy Cousineau	Functional Programming and Geometry.	PLILP	1997	DBLP DOI BibTeX RDF	education, computer geometry, modularity, functional programming, types, tilings
3	Simon J. Thompson	Where Do I Begin? A Problem Solving Approach in teaching Functional Programming.	PLILP	1997	DBLP DOI BibTeX RDF	palindrome recognition, Polya, Functional programming, Haskell, problem solving
3	Salvador Lucas	Transformations for Efficient Evaluations in Functional Programming.	PLILP	1997	DBLP DOI BibTeX RDF	evaluation, program transformation, functional programming, term rewriting
3	Mark P. Jones	Functional Programming with Overloading and Higher-Order Polymorphism.	Advanced Functional Programming	1995	DBLP DOI BibTeX RDF
3	Philip Wadler	Monads for Functional Programming.	Advanced Functional Programming	1995	DBLP DOI BibTeX RDF
3	Erik Meijer, Johan Jeuring	Merging Monads and Folds for Functional Programming.	Advanced Functional Programming	1995	DBLP DOI BibTeX RDF
3	Wolfgang A. Halang, Bernd J. Krämer	Safety Assurance in Process Control.	IEEE Software	1994	DBLP DOI BibTeX RDF	safety assurance, PLC software safety, safety-critical control, algebraic language, Obj3 system, functional programming environment, formal specification, formal specifications, formal verification, formal verification, functional programming, software reliability, safety, interpreter, requirements specification, process control, data representation, programmable logic controllers, programmable controllers, design specification, specification testing, Obj, function blocks, process computer control
3	R. Govindarajan	Exception Handlers in Functional Programming Languages.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	resume, input object, implementation restriction, referential transparency, commutativity properties, functional programming, functional programming, exception handling, exception handling, terminate, programming theory, functional languages, high level languages, programmer
3	Ben A. Sijtsma	Requirements for a Functional Programming Environment.	Functional Programming	1991	DBLP BibTeX RDF
3	Colin Runciman	TIP in Haskell - another Exercise in Functional Programming.	Functional Programming	1991	DBLP BibTeX RDF
3	Clifford Walinsky, Deb Banerjee	A Functional Programming Language Compiler for Massively Parallel Computers.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
3	John Darlington, Peter G. Harrison, Hessam Khoshnevisan, Lee McLoughlin, Nigel Perry, Helen Pull, Mike Reeve, Keith Sephton, R. Lyndon While, Sue Wright	A Functional Programming Environment Supporting Execution, Partial Execution and Transformation.	PARLE	1989	DBLP DOI BibTeX RDF	Functional programming environment, program transformation, partial evaluation, parallel execution
3	Paul Roe	Some Ideas On Parallel Functional Programming.	Functional Programming	1989	DBLP BibTeX RDF
3	A. C. Reeves, D. A. Harrsion, A. F. Sinclair, P. Williamson	Gerald: An Exceptional Lazy Functional Programming Language.	Functional Programming	1989	DBLP BibTeX RDF
2	Mark McGranaghan	ClojureScript: Functional Programming for JavaScript Platforms.	IEEE Internet Computing	2011	DBLP DOI BibTeX RDF	Clojure, ClojureScript, functional programming, JavaScript, Web development
2	Emily G. Mitchell	Functional programming through deep time: modeling the first complex ecosystems on earth.	ICFP	2011	DBLP DOI BibTeX RDF
2	Rex L. Page, Zoltán Horváth, Viktória Zsók (eds.)	Trends in Functional Programming - 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers	Trends in Functional Programming	2011	DBLP DOI BibTeX RDF
2	David Scott, Richard Sharp, Thomas Gazagnaire, Anil Madhavapeddy	Using functional programming within an industrial product group: perspectives and perceptions.	ICFP	2010	DBLP DOI BibTeX RDF
2	Stephen Chang, David Van Horn, Matthias Felleisen	Evaluating Call-by-Need on the Control Stack.	Trends in Functional Programming	2010	DBLP DOI BibTeX RDF
2	Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo	Graphical and Incremental Type Inference: A Graph Transformation Approach.	Trends in Functional Programming	2010	DBLP DOI BibTeX RDF
2	John Capper, Henrik Nilsson	Static Balance Checking for First-Class Modular Systems of Equations.	Trends in Functional Programming	2010	DBLP DOI BibTeX RDF
2	Andrew Farmer, Garrin Kimmell, Andy Gill	What's the Matter with Kansas Lava?	Trends in Functional Programming	2010	DBLP DOI BibTeX RDF
2	Carl Eastlund, Matthias Felleisen	Hygienic Macros for ACL2.	Trends in Functional Programming	2010	DBLP DOI BibTeX RDF
2	Kevin Matlage, Andy Gill	Every Animation Should Have a Beginning, a Middle, and an End - A Case Study of Using a Functor-Based Animation Language.	Trends in Functional Programming	2010	DBLP DOI BibTeX RDF
2	Marco T. Morazán	Functional Video Games in the CS1 Classroom.	Trends in Functional Programming	2010	DBLP DOI BibTeX RDF
2	Pieter W. M. Koopman, Rinus Plasmeijer	Testing with Functional Reference Implementations.	Trends in Functional Programming	2010	DBLP DOI BibTeX RDF
2	Christopher Brown 0002, Huiqing Li, Simon J. Thompson	An Expression Processor: A Case Study in Refactoring Haskell Programs.	Trends in Functional Programming	2010	DBLP DOI BibTeX RDF
2	Michal Ptaszek, Maciej Malawski	ComputErl - Erlang-Based Framework for Many Task Computing.	Trends in Functional Programming	2010	DBLP DOI BibTeX RDF
2	Konrad Anton, Peter Thiemann	Typing Coroutines.	Trends in Functional Programming	2010	DBLP DOI BibTeX RDF
2	Andy Gill, Tristan Bull, Andrew Farmer, Garrin Kimmell, Ed Komp	Types and Type Families for Hardware Simulation and Synthesis - The Internals and Externals of Kansas Lava.	Trends in Functional Programming	2010	DBLP DOI BibTeX RDF
2	Mark Snyder, Perry Alexander	Monad Factory: Type-Indexed Monads.	Trends in Functional Programming	2010	DBLP DOI BibTeX RDF
2	Alex Gerdes, Johan Jeuring, Bastiaan Heeren	Using strategies for assessment of programming exercises.	SIGCSE	2010	DBLP DOI BibTeX RDF	functional programming, haskell, strategies, automatic assessment
2	Sven Apel, Christian Kästner, Armin Größlinger, Christian Lengauer	Feature (De)composition in Functional Programming.	Software Composition	2009	DBLP DOI BibTeX RDF
2	Thomas Gazagnaire, Vincent Hanquez	OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons.	ICFP	2009	DBLP DOI BibTeX RDF	databases, concurrency, transactions, prefix trees
2	Pieter W. M. Koopman, Rinus Plasmeijer, S. Doaitse Swierstra (eds.)	Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures	Advanced Functional Programming	2009	DBLP DOI BibTeX RDF
2	Vasco Thudichum Vasconcelos	Session types for linear multithreaded functional programming.	PPDP	2009	DBLP DOI BibTeX RDF	linear type systems, concurrency, functional programming, session types
2	Zoltán Porkoláb	Functional Programming with C++ Template Metaprograms.	CEFP	2009	DBLP DOI BibTeX RDF
2	Matthew R. Lakin, Andrew M. Pitts	Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming.	ESOP	2009	DBLP DOI BibTeX RDF
2	Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky	Effective interactive proofs for higher-order imperative programs.	ICFP	2009	DBLP DOI BibTeX RDF	functional programming, dependent types, separation logic, interactive proof assistants
2	Hai Liu, Eric Cheng, Paul Hudak	Causal commutative arrows and their optimization.	ICFP	2009	DBLP DOI BibTeX RDF	functional programming, stream processing, program optimization, functional reactive programming, arrows, dataflow language
2	Dan P. Piponi	Commutative monads, diagrams and knots.	ICFP	2009	DBLP DOI BibTeX RDF	tensor networks, linear algebra, monads, knot theory
2	Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi	A functional I/O system or, fun for freshman kids.	ICFP	2009	DBLP DOI BibTeX RDF	introductory programming
2	Vincent Balat, Jérôme Vouillon, Boris Yakobowski	Experience report: ocsigen, a web programming framework.	ICFP	2009	DBLP DOI BibTeX RDF	ocsigen, networking, web, programming, implementation, services, ML, typing, XHTML, objective CAML
2	Guy L. Steele Jr.	Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful.	ICFP	2009	DBLP DOI BibTeX RDF	associative operator, conjugate transform, tree, reduction, monoid
2	Neil Sculthorpe, Henrik Nilsson	Safe functional reactive programming through dependent types.	ICFP	2009	DBLP DOI BibTeX RDF	DSELS, FRP, synchronous data-flow, functional programming, domain-specific languages, dependent types, reactive programming
2	Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan	Purely functional lazy non-deterministic programming.	ICFP	2009	DBLP DOI BibTeX RDF	call-time choice, continuations, monads, side effects
2	Markus Kaiser, Ralf Lämmel	An Isabelle/HOL-based model of stratego-like traversal strategies.	PPDP	2009	DBLP DOI BibTeX RDF	generic functional programming, traversal strategies, domain specific languages, rewriting, isabelle/hol, software transformation, stratego
2	Petr Krajca, Vilém Vychodil	Data parallel dialect of scheme: outline of the formal model, implementation, performance.	SAC	2009	DBLP DOI BibTeX RDF	functional programming, scheme, data parallelism, pushdown automata, implicit parallelism
2	Michael R. Hansen, Jens Thyge Kristensen	Experiences with Functional Programming in an Introductory Curriculum.	Reflections on the Teaching of Programming	2008	DBLP DOI BibTeX RDF
2	Frédéric Gava	BSP Functional Programming: Examples of a Cost Based Methodology.	ICCS	2008	DBLP DOI BibTeX RDF	BSP Functional Programming, Cost Prediction
2	James Cheney	FLUX: functional updates for XML.	ICFP	2008	DBLP DOI BibTeX RDF	update languages, XML, static analysis, type systems
2	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
2	Mark P. Jones	Experience report: playing the DSL card.	ICFP	2008	DBLP DOI BibTeX RDF	Timber, component configuration, functional programming, domain-specific languages, Haskell
2	Ravi Nanavati	Experience report: a pure shirt fits.	ICFP	2008	DBLP DOI BibTeX RDF	functional programming, Haskell, monads, Bluespec
2	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
2	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
2	Olivier Danvy	From Reduction-Based to Reduction-Free Normalization.	Advanced Functional Programming	2008	DBLP DOI BibTeX RDF
2	Umut A. Acar, Ruy Ley-Wild	Self-adjusting Computation with Delta ML.	Advanced Functional Programming	2008	DBLP DOI BibTeX RDF
2	Ulf Norell	Dependently Typed Programming in Agda.	Advanced Functional Programming	2008	DBLP DOI BibTeX RDF
2	Johan Jeuring, Sean Leather, José Pedro Magalhães, Alexey Rodriguez Yakushev	Libraries for Generic Programming in Haskell.	Advanced Functional Programming	2008	DBLP DOI BibTeX RDF
2	Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort	An iTask Case Study: A Conference Management System.	Advanced Functional Programming	2008	DBLP DOI BibTeX RDF
2	Simon L. Peyton Jones, Satnam Singh	A Tutorial on Parallel and Concurrent Programming in Haskell.	Advanced Functional Programming	2008	DBLP DOI BibTeX RDF
2	Jurriaan Hage, Stefan Holdermans	Heap recycling for lazy languages.	PEPM	2008	DBLP DOI BibTeX RDF	compile-time garbage collection, lazy functional programming, type-based program analysis
2	Yaron Minsky	Caml trading.	POPL	2008	DBLP DOI BibTeX RDF	functional programming, ML
2	Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon	Pattern by example: type-driven visual programming of XML queries.	PPDP	2008	DBLP DOI BibTeX RDF	functional programming, type systems, visual programming, database programming languages