draganigajic's Jones:SP [10 articles] Export

Recent papers posted to draganigajic's library by the author Jones:SP. You can also see everyone's Jones:SP.

	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
	Beautiful Concurrency [My Copy] In Beautiful Code: Leading Programmers Explain How They Think (Theory in Practice (O'Reilly)) (2007) by Simon P. Jones edited by Andy Oram, Greg Wilson posted to concurrency haskell stm by draganigajic on 2008-09-15 17:14:56 as along with 8 people lfwgoes veal gakincho fvogels pedagand mcclurmc jwong frej
	Data parallel Haskell: a status report [My Copy] In DAMP '07: Proceedings of the 2007 workshop on Declarative aspects of multicore programming (2007), pp. 10-18. by Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon P. Jones, Gabriele Keller, Simon Marlow posted to haskell parallel by draganigajic on 2008-09-15 17:05:18 as along with 5 people ama08r jmmcg tov brecknell pedagand
	Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell [My Copy] by Simon P. Jones posted to concurrency haskell monads by draganigajic on 2008-09-15 16:49:32 as along with 6 people p1738j croys scook0 glaubersp pedagand SamB
	Practical type inference for arbitrary-rank types [My Copy] J. Funct. Program., Vol. 17, No. 1. (January 2007), pp. 1-82. by Simon P. Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields posted to haskell type-inference by draganigajic on 2008-09-15 16:44:18 as along with 3 people byorgey americovargas pedagand
	Imperative functional programming [My Copy] In POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1993), pp. 71-84. by Simon P. Jones, Philip Wadler posted to haskell monads by draganigajic on 2008-09-15 16:43:53 as along with 2 people spl pedagand
	Simple unification-based type inference for GADTs [My Copy] In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 50-61. by Simon P. Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn posted to gadt type-inference unification by draganigajic on 2008-09-15 16:39:22 as along with 6 people keigoi spl bringert shimomura mcclurmc pedagand
	System F with type equality coercions [My Copy] In TLDI '07: Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation (2007), pp. 53-66. by Martin Sulzmann, Manuel M. T. Chakravarty, Simon P. Jones, Kevin Donnelly posted to lambda-calculus type-theory by draganigajic on 2008-09-15 16:31:03 as along with 2 people and 1 group mcclurmc jpbernardy Lambda the Ultimate
	Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming [My Copy] In TLDT03 (2003) by Ralf Lämmel, Simon P. Jones posted to generics haskell by draganigajic on 2008-09-15 16:13:54 as along with 4 people and 1 group jburnim lomeo bringert namin Lambda the Ultimate
	Arithmetic Coding with Folds and Unfolds [My Copy] In Advanced Functional Programming 4, Vol. 2638 (2003), pp. 1-26. by Richard Bird, Jeremy Gibbons edited by Johan Jeuring, Simon P. Jones posted to fold unfold by draganigajic on 2008-09-15 15:55:01 as along with 1 person sclv

Note: You may cite this page as: http://www.citeulike.org/user/draganigajic/author/Jones:SP

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

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 Jones:SP [10 articles] Export

draganigajic's tags