draganigajic's fp [18 articles] Export

Recent papers added to draganigajic's library classified by the tag fp. You can also see everyone's fp.

	Composing contracts: an adventure in financial engineering (functional pearl) [My Copy] ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 280-292. by Simon P. Jones, Jean M. Eber, Julian Seward posted to finance fp haskell by draganigajic on 2008-09-15 17:22:28 as along with 2 people pedagand jimburton
	Event-Driven FRP [My Copy] Lecture Notes in Computer Science, Vol. 2257 (2001) by Zhanyong Wan, Walid Taha, Paul Hudak posted to fp frp by draganigajic on 2008-09-15 17:20:47 as along with 1 person pedagand
	Higher--Order Concurrency [My Copy] No. TR92-1852. (1992) by John H. Reppy posted to concurrency fp ml by draganigajic on 2008-09-15 17:15:36 as along with 1 person pedagand
	Finally Tagless, Partially Evaluated [My Copy] Programming Languages and Systems (2009), pp. 222-238. by Jacques Carette, Oleg Kiselyov, Chung-Chieh Shan posted to dsl fp metaprogramming by draganigajic on 2008-09-15 17:10:52 as along with 4 people and 1 group pedagand keigoi msakai nominolo ConcertRG
	Using, Understanding, and Unraveling - The OCaml Language - From Practice to Theory and vice versa [My Copy] by Didier Remy posted to fp ocaml tutorial by draganigajic on 2008-09-15 17:09:34 as along with 1 person pedagand
	Adaptive functional programming [My Copy] SIGPLAN Not., Vol. 37, No. 1. (January 2002), pp. 247-259. by Umut A. Acar, Guy E. Blelloch, Robert Harper posted to adaptive fp ml by draganigajic on 2008-09-15 17:03:14 as along with 1 person pedagand
	Explaining Algebraic Theory with Functional Programs [My Copy] In Functional Programming Languages in Education (1995), pp. 139-158. by Jeroen Fokker posted to algebra fp by draganigajic on 2008-09-15 17:02:51 as along with 1 person pedagand
	Induction and State Machines [My Copy] by Koen Claessen posted to fp state-machines by draganigajic on 2008-09-15 16:59:04 as along with 1 person pedagand
	Deforestation: Transforming Programs to Eliminate Trees [My Copy] In ESOP '88. European Symposium on Programming, Nancy, France, 1988 (Lecture Notes in Computer Science, vol. 300) (1988), pp. 344-358. by P. Wadler posted to deforestation fp haskell optimization by draganigajic on 2008-09-15 16:57:56 as along with 5 people wadler calvins cdiggins americovargas pedagand
	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 fp by draganigajic on 2008-09-15 16:54:37 as along with 12 people brothers amp269 pedagand egh creswick joost spl mrsmond Guff32 mdekruijf artur bendiken
	Elements of a relational theory of datatypes [My Copy] Formal Program Development (1993), pp. 7-42. by Roland Backhouse, Paul Hoogendijk posted to aop fp by draganigajic on 2008-09-15 16:54:16 as along with 1 person pedagand
	Functional Parsers [My Copy] In Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text (1995), pp. 1-23. by Jeroen Fokker posted to fp parser by draganigajic on 2008-09-15 16:41:54 as along with 1 person pedagand
	The Semantic Elegance of Applicative Languages [My Copy] In FPCA '81: Proceedings of the 1981 conference on Functional programming languages and computer architecture (October 1981), pp. 85-92. by David A. Turner posted to fp semantics by draganigajic on 2008-09-15 16:41:26 as along with 2 people pedagand spl
	Functional unparsing [My Copy] J. Funct. Program., Vol. 8, No. 6. (November 1998), pp. 621-625. by Olivier Danvy posted to fp unparsers by draganigajic on 2008-09-15 16:38:23 as along with 6 people ama08r pedagand msakai keigoi cognominal spl
	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire [My Copy] In Proceedings 5th ACM Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'91, Cambridge, {MA}, {USA}, 26--30 Aug 1991, Vol. 523 (1991), pp. 124-144. by Erik Meijer, Maarten Fokkinga, Ross Paterson edited by J. Hughes posted to fp category-theory by draganigajic on 2008-09-15 16:25:10 as along with 31 people and 4 groups ama08r ddemange pirapira ariels rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy dhag Porges conal cdiggins mmarcus jimburton namin dvgb jkominek pedagand SRL SRG_at_UCD complogic Lambda the Ultimate
	Typeful Programming [My Copy] In Formal Description of Programming Concepts (1991), pp. 431-507. by Luca Cardelli edited by E. J. Neuhold, M. Paul posted to fp types by draganigajic on 2008-09-15 16:09:16 as along with 5 people and 2 groups rgrig amorkan lyongu ds jimburton SRG_at_UCD Lambda the Ultimate
	Why Functional Programming Matters [My Copy] Computer Journal, Vol. 32, No. 2. (1989), pp. 98-107. by J. Hughes posted to fp haskell by draganigajic on 2008-09-15 15:58:02 as along with 10 people and 1 group mattmight jweslley pedagand joelh lomeo pilho calvins mcclurmc sclv jpbernardy functional programming
	Law and Order in Algorithmics [My Copy] (February 1992) by Maarten M. Fokkinga posted to algorithms fp category-theory by draganigajic on 2008-09-15 15:44:11 as along with 1 person spl

Note: You may cite this page as: http://www.citeulike.org/user/draganigajic/tag/fp

haskell	79
monads	20
types	18
category-theory	18
fp	18
dependent-types	14
type-theory	11
dsl	10
concurrency	10
generics	9
frp	9
type-inference	5
unfold	5
tutorial	4
vhdl	4
proof	4
comonads	4
typeclasses	4
semantics	4
parallel	4
arrows	4
gadt	4
stm	4
combinators	3
reactive	3
codata	3
curry-howard	3
book	3
lava	3
fold	3
introduction	3
parser	3
algebra	2
logic	2
os	2
metaprogramming	2
designpattern	2
fromspl	2
phantom	2
logic-programming	2
lambda-calculus	2
lisp	2
ml	2
map-reduce	2
unification	2
fpga	2
scheme	2
coalgebra	2
dataflow	2
datatype	2
functors	2
testing	2
optimization	2
modules	2
packrat	1
gc	1
javascript	1
multi-core	1
aop	1
graph	1
math	1
asic	1
p2p	1
applicativefunctors	1
finance	1
cps	1
education	1
hindley-milner	1
agda	1
kanren	1
security	1
ocaml	1
threads	1
compiler	1
zipper	1
state-machines	1
dht	1
adjoint	1
total	1
polymorphism	1
internet	1
tangible	1
p-logic	1
latticetheory	1
iterator	1
event	1
fromsclv	1
corecursion	1
html	1
network	1
system-f	1
algorithms	1
transformers	1
epigram	1
library	1
grid	1
adaptive	1
n-categories	1
deforestation	1
oop	1
probability	1
syntax	1
chord	1
obj3	1
origami	1
attribute-grammars	1
coinduction	1
unparsers	1

draganigajic's fp [18 articles] Export

draganigajic's tags