spl's functional-programming [38 articles] Export

Recent papers added to spl's library classified by the tag functional-programming. You can also see everyone's functional-programming.

Hide details

	Higher Order Functions Considered Unnecessary for Higher Order Programming [My Copy] Research Topics in Functional Programming (1990), pp. 309-351. by Joseph A. Goguen edited by David A. Turner posted to parametrized-modules obj modules higher-order-functions functional-programming defunctionalization by spl on 2009-11-15 09:46:07 as
	Adaptive functional programming [My Copy] In POPL 2002 (2002), pp. 247-259. by Umut A. Acar, Guy E. Blelloch, Robert Harper posted to submit-incremental ml incremental functional-programming algorithms adaptive by spl on 2009-11-03 16:47:43 as
	Programming Languages: Application and Interpretation [My Copy] (26 April 2007) by Shriram Krishnamurthi posted to scheme programming-language interpreters functional-programming book by spl on 2009-10-09 14:05:58 as
	A novel representation of lists and its application to the function “reverse” [My Copy] Information Processing Letters, Vol. 22, No. 3. (03 March 1986), pp. 141-144. by Hughes posted to lists krc functional-programming data-structures by spl on 2009-10-07 10:53:58 as
	Organizing Functional Code for Parallel Execution or, foldl and foldr Considered Slightly Harmful [My Copy] In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 1-2. by Guy L. Steele posted to parallel-programming monoids functional-programming fold by spl on 2009-09-07 11:47:58 as
	Theoretical Foundations for Practical 'Totally Functional Programming' [My Copy] (November 2007) by Colin John Morris Kemp posted to type-theory thesis interpreters homomorphism functional-programming fold derivatives church catamorphism by spl on 2009-08-18 12:51:28 as
	Why Attribute Grammars Matter [My Copy] The Monad.Reader, Vol. 4 (5 July 2005) by Wouter Swierstra edited by Shae Erisson posted to uuag submit-incremental lazy-evaluation haskell functional-programming attribute-grammars by spl on 2009-08-08 14:38:11 as
	Using Circular Programs to Eliminate Multiple Traversals of Data [My Copy] Acta Informatica, Vol. 21, No. 3. (1 October 1984), pp. 239-250. by R. S. Bird posted to traversals submit-incremental repmin recursion lazy-evaluation functional-programming circularity by spl on 2009-07-23 09:04:46 as along with 1 person tautologico
	Functional Pearls: Efficient sets -- a balancing act [My Copy] J. of Functional Programming, Vol. 3, No. 04. (1993), pp. 553-561. by Stephen Adams posted to trees submit-incremental set-theory ml functional-programming data-structures by spl on 2009-07-22 14:02:37 as
	How to replace failure by a list of successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages [My Copy] Functional Programming Languages and Computer Architecture (1985), pp. 113-128. by Philip Wadler posted to backtracking exceptions functional-programming lazy-evaluation lists parsers pattern-matching by spl on 2009-06-22 16:42:31 as along with 2 people bulwahn michaelbanks
	The Next 700 Programming Languages [My Copy] Commun. ACM, Vol. 9, No. 3. (March 1966), pp. 157-166. by Peter J. Landin posted to abstraction algol functional-programming programming-language by spl on 2009-04-29 12:26:15 as along with 18 people and 1 group azwinkau robertjohnsimmons bfraser josephholsten brothers RalfMitschke jkominek cedricboidin wnoise mbravenboer pintman bunge yang tov jwm0123 calvins flavian_vasile conal ConcertRG
	Principal type-schemes for functional programs [My Copy] In POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1982), pp. 207-212. by Luis Damas, Robin Milner posted to type-inference principal-type parametric-polymorphism ml functional-programming by spl on 2009-04-22 21:01:09 as along with 9 people ddemange mattmight keigoi draganigajic tautologico gkuan shimomura pedagand zuleger
	Functional Polytypic Programming [My Copy] (May 2000) by Patrik Jansson posted to datatype-generic functional-programming generics haskell polyp thesis by spl on 2009-04-02 13:59:22 as
	Welcome to "The Functional Web" [My Copy] Internet Computing, IEEE In Internet Computing, IEEE, Vol. 13, No. 2. (2009), pp. 104-103. by S. Vinoski posted to erlang functional-programming web by spl on 2009-03-19 10:00:42 as along with 2 people fheintz simonmcbride
	Computational Semantics with Functional Programming [My Copy] by Jan van Eijck, Christina Unger posted to book functional-programming haskell lambda-calculus natural-language semantics by spl on 2009-03-10 15:03:15 as
	Incremental Computation via Function Caching [My Copy] In POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1989), pp. 315-328. by William Pugh, Tim Teitelbaum posted to attribute-grammars functional-programming incremental memoization by spl on 2009-02-26 18:57:16 as
	InvX: An Automatic Function Inverter [My Copy] Rewriting Techniques and Applications (1989), pp. 564-568. by Hessam Khoshnevisan, K. M. Sephton posted to fp functional-programming hope inversion by spl on 2009-02-26 18:39:41 as
	Efficient memo-table management strategies [My Copy] Acta Informatica, Vol. 28, No. 1. (1 November 1990), pp. 43-81. by Hessam Khoshnevisan posted to functional-programming hope memoization by spl on 2009-02-26 18:32:05 as
	Functional Incremental Attribute Evaluation [My Copy] Compiler Construction (2000), pp. 279-294. by João Saraiva, S. Doaitse Swierstra, Matthijs Kuiper posted to submit-incremental memoization incremental functional-programming attribute-grammars by spl on 2009-02-26 18:16:22 as
	Extending a functional DBPL with ECA-rules [My Copy] Rules in Database Systems (1995), pp. 101-115. by Swarup Reddi, Alex Poulovassilis, Carol Small posted to databases deductive-databases functional-database-language functional-programming pfl by spl on 2009-02-19 14:25:07 as
	A Functional Programming Approach to Deductive Databases [My Copy] In VLDB '91: Proceedings of the 17th International Conference on Very Large Data Bases (1991), pp. 491-500. by Alexandra Poulovassilis, Carol Small posted to databases deductive-databases functional-database-language functional-programming persistence pfl by spl on 2009-02-19 14:18:10 as along with 1 person bhoward
	Parallel Implementations of Functional Programming Languages [My Copy] The Computer Journal, Vol. 32, No. 2. (1 February 1989), pp. 175-186. by Simon L. Peyton Jones posted to functional-programming graph-reduction implementation parallel-programming by spl on 2009-02-09 10:54:23 as
	Type Theory and Functional Programming [My Copy] (March 1991) by Simon Thompson posted to book functional-programming type-theory by spl on 2009-01-13 11:25:03 as
	Total Functional Programming [My Copy] Journal of Universal Computer Science, Vol. 10, No. 7. (2004), pp. 751-768. by David A. Turner posted to codata functional-programming total-functions by spl on 2008-10-18 21:46:10 as
	Computational Category Theory [My Copy] (01 June 1988) by David E. Rydeheard, Rod M. Burstall posted to book category-theory functional-programming ml by spl on 2008-10-14 10:12:17 as along with 2 people scis0000001 masteraka
	Code Optimisation Techniques for Lazy Functional Languages [My Copy] (March 1999) by Urban Boquist posted to compilers functional-programming garbage-collection graph-reduction haskell intermediate-language lazy-evaluation optimization program-transformation register-allocation thesis by spl on 2008-10-01 18:44:31 as along with 1 person Lemmih
	Functional Thinking (part 3) [My Copy] In 6th International Summer School on Advanced Functional Programming (20 May 2008) by Mark P. Jones posted to functional-programming hardware-description operating-systems by spl on 2008-09-14 15:38:16 as
	Functional Thinking (part 2) [My Copy] In 6th International Summer School on Advanced Functional Programming (19 May 2008) by Mark P. Jones posted to datatype-generic functional-programming generics by spl on 2008-09-14 15:35:32 as
	Functional Thinking (part 1) [My Copy] In 6th International Summer School on Advanced Functional Programming (19 May 2008) by Mark P. Jones posted to functional-programming by spl on 2008-09-14 15:33:49 as
	Caml trading - experiences with functional programming on Wall Street [My Copy] Journal of Functional Programming, Vol. 18, No. 04. (2008), pp. 553-564. by Yaron Minksy, Stephen Weeks posted to functional-programming ocaml by spl on 2008-09-01 20:25:56 as along with 1 person ama08r
	Physics, Topology, Logic and Computation: A Rosetta Stone [My Copy] In New Structures for Physics by John Baez, Michael Stay edited by Bob Coecke posted to category-theory functional-programming logic physics topology by spl on 2008-08-29 21:58:02 as along with 1 person draganigajic
	Hardware Design and Functional Programming: a Perfect Match [My Copy] Journal of Universal Computer Science, Vol. 11, No. 7. (July 2005), pp. 1135-1158. by Mary Sheeran posted to functional-programming hardware-description by spl on 2008-06-29 19:00:20 as along with 2 people mmuecke SamB
	The Implementation of Functional Programming Languages [My Copy] (01 May 1987) by Simon L. Peyton Jones posted to compilers functional-programming garbage-collection graph-reduction implementation interpreters lambda-calculus list-comprehensions miranda parallel-programming pattern-matching semantics strictness-analysis type-checking by spl on 2008-05-30 13:46:20 as along with 4 people pedagand tautologico Benja benchambers
	Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine [My Copy] J. of Functional Programming, Vol. 2, No. 2. (1992), pp. 127-202. by Simon L. Peyton Jones posted to compilers functional-programming non-strict-evaluation by spl on 2008-05-14 08:32:11 as along with 7 people JeffreyPalmer jrw zednenem damaru benchambers jpetry donniejones18
	Imperative functional programming [My Copy] In POPL 1993 (1993), pp. 71-84. by Simon L. Peyton Jones, Philip Wadler posted to functional-programming imperative-programming input-output monads by spl on 2008-04-19 18:52:28 as along with 2 people draganigajic pedagand
	What is a Purely Functional Language? [My Copy] Journal of Functional Programming, Vol. 8, No. 1. (January 1998), pp. 1-22. by Amr Sabry posted to call-by-name call-by-need functional-programming non-strict-evaluation by spl on 2008-02-25 10:35:29 as along with 1 person robdockins
	Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs [My Copy] Commun. ACM, Vol. 21, No. 8. (August 1978), pp. 613-641. by John Backus posted to algebra fp functional-programming programming-language von-neumann by spl on 2008-02-01 14:13:46 as along with 12 people brothers amp269 draganigajic pedagand egh creswick joost mrsmond Guff32 mdekruijf artur bendiken
	Adaptive functional programming [My Copy] ACM Trans. Program. Lang. Syst., Vol. 28, No. 6. (November 2006), pp. 990-1034. by Umut A. Acar, Guy E. Blelloch, Robert Harper posted to ml incremental functional-programming algorithms adaptive by spl on 2008-01-24 15:08:56 as

Note: You may cite this page as: http://www.citeulike.org/user/spl/tag/functional-programming

haskell	104
generics	55
functional-programming	38
datatype-generic	35
algorithms	28
submit-gdiff	28
trees	25
category-theory	23
submit-incremental	20
semantics	19
thesis	19
incremental	18
memoization	17
type-classes	16
edit-operations	15
attribute-grammars	14
diff	14
monads	14
pattern-matching	14
zipper	14
compilers	13
ml	12
catamorphism	11
combinators	11
dependent-types	11
lambda-calculus	11
program-calculation	11
book	10
distributed-computing	10
lazy-evaluation	10
non-strict-evaluation	10
recursion	10
data-structures	9
domain-specific-languages	9
fold	9
parallel-programming	9
program-transformation	9
type-indexed	9
generic-haskell	8
java	8
models	8
parsers	8
programming-language	8
type-inference	8
concurrency	7
editors	7
education	7
extensibility	7
functors	7
fusion	7
interpreters	7
libraries	7
parametric-polymorphism	7
performance	7
type-theory	7
unfold	7
version-control	7
algebra	6
databases	6
fixed-point	6
gadts	6
introduction	6
lightweight	6
longest-common-subsequence	6
optimization	6
ordered	6
streams	6
syb	6
traversals	6
type-checking	6
views	6
abstraction	5
anamorphism	5
comonads	5
comparison	5
expression-problem	5
generalization	5
ghc	5
grammars	5
higher-order-functions	5
homomorphism	5
implementation	5
input-output	5
lists	5
object-oriented-programming	5
program-behavior	5
software-engineering	5
survey	5
syntax-directed	5
web	5
c	4
call-by-name	4
change-detection	4
continuations	4
dataflow	4
design-patterns	4
dynamic-programming	4
formalization	4
frameworks	4
functional-dependencies	4
garbage-collection	4
graph-reduction	4
history	4
hol	4
hylomorphism	4
imperative-programming	4
induction	4
list-comprehensions	4
mixins	4
modularity	4
numbers	4
paramorphism	4
phantom-types	4
polyp	4
programming-environment	4
records	4
rewriting	4
tree-inclusion	4
tries	4
type-families	4
type-safety	4
unification	4
xml	4
abstract-datatypes	3
accuracy	3
adaptive	3
advice	3
agda	3
anti-unification	3
associated-types	3
bifunctors	3
call-by-need	3
call-by-value	3
codata	3
computer-science	3
cpp	3
deforestation	3
denotational-semantics	3
derivatives	3
emgm	3
epigram	3
equivalence	3
erlang	3
existential-quantification	3
file-comparison	3
floating-point	3
formatting	3
fp	3
hierarchical-structure	3
holumbus	3
hope	3
intermediate-language	3
mapreduce	3
metamodels	3
metaprogramming	3
miranda	3
model-driven-development	3
model-driven-engineering	3
monoids	3
ocaml	3
operational-semantics	3
phd	3
printf	3
proofs	3
rank-2-polymorphism	3
relational	3
set-theory	3
sorting	3
strict-evaluation	3
system-f	3
total-functions	3
verification	3
accumulations	2
advising	2
algol	2
antidiagonal	2
arrays	2
arrows	2
aspect-oriented-programming	2
boilerplate	2
categorical-logic	2
church	2
classicjava	2
clean	2
coalgebra	2
comprehensions	2
constraint-programming	2
crush	2
curry-howard-isomorphism	2
cyclic	2
data-mining	2
debuggers	2
deductive-databases	2
deriving	2
dynamically-typed	2
exponentials	2
finite-maps	2
free-theorems	2
functional-database-language	2
generators	2
global-variables	2
goffin	2
graph	2
hardware-description	2
haskelldb	2
histomorphism	2
implicit-parameters	2
isabelle	2
least-specific-generalization	2
lecture-notes	2
lenses	2
logic	2
mutual-recursion	2
natural-language	2
nested-datatypes	2
operating-systems	2
parametricity	2
pfl	2
physics	2
ports	2
program-slicing	2
rank-n-polymorphism	2
reflection	2
repmin	2
scheme	2
scripting	2
search-engine	2
sequence	2
sharing	2
software-build	2
software-product-lines	2
spine-view	2
sql	2
static-checking	2
strings	2
subtyping	2
template-haskell	2
theorem-proving	2
topology	2
transactional-memory	2
transpose	2
tutorial	2
universes	2
unordered	2
unparsers	2
von-neumann	2
zip	2
ad-hoc-polymorphism	1
alfa	1
apomorphism	1
applicative-functors	1
automata	1
backtracking	1
beta	1
bibliography	1
calculus-of-constructions	1
camera	1
circularity	1
clu	1
coinduction	1
coinductive-types	1
compression	1
computability	1
computational-design	1
computational-thinking	1
computer-architecture	1
containers	1
contracts	1
control-flow-graph	1
corecursion	1
cps	1
cryptol	1
csharp	1
data-description-language	1
de-bruijn-index	1
defunctionalization	1
dictionaries	1
difunctors	1
discrimination	1
dynamic-scoping	1
effect-types	1
eiffel	1
embedded-systems	1
equality	1
equational-reasoning	1
event-driven	1
exceptions	1
exclusions	1
fault-tolerance	1
feature-oriented-programming	1
ffi	1
free-variables	1
functional-reactive	1
function-spaces	1
futumorphism	1
galois-connections	1
godel	1
gofer	1
halting-problem	1
hash-consing	1
idl	1
impredicativity	1
inductive-type-families	1
inductive-types	1
inheritance	1
inlining	1
inversion	1
isar	1
javascript	1
jni	1
json	1
krc	1
latex	1
lattice-theory	1
ligd	1
lisp	1
logic-programming	1
machine-learning	1
management	1
manual	1
martin-lof	1
measurement	1
model-driven-architecture	1
modula	1
modules	1
multithreading	1
mutability	1
mutumorphism	1
natural-deduction	1
natural-numbers	1
normalization	1
np-complete	1
nuprl	1
obj	1
open	1
packrat-parsing	1
parametrized-modules	1
partial-functions	1
persistence	1
poetry	1
pragmatics	1
predicate-dispatch	1
prefix-sums	1
prepromorphism	1
pretty-printing	1
principal-type	1
reading	1
register-allocation	1
relfun	1
research	1
rfc	1
rounding	1
sawzall	1
security	1
semantic-web	1
sequent-calculus	1
serialization	1
session-types	1
shell	1
software-factories	1
standard	1
static-analysis	1
stl	1
strictly-positive	1
strictness-analysis	1
stupidity	1
system-t	1
taxonomy	1
testing	1
turing	1
type-functions	1
unboxed-values	1
undecidability	1
uuag	1
value-recursion	1
visitor-pattern	1
wobbly-types	1
worker-wrapper	1
zygomorphism	1

spl's functional-programming [38 articles] Export

spl's tags