zednenem's library 140 articles Export

Ordered by to_read.

	Computational Effects and Operations: An Overview [My Copy] by Gordon Plotkin, John Power posted to effects lawvere-theories by zednenem on 2007-10-11 03:34:52 as along with 2 people tautologico glaubersp
	First-class Polymorphism with Type Inference [My Copy] In Conference Record of POPL~'97: The 24th {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages (JanuaryMay--JanuaryJuly 1997), pp. 483-496. by Mark P. Jones posted to higher-ranked-types impredicative-types polymorphism by zednenem on 2007-08-03 21:23:32 as
	Applicative Programming with Effects [My Copy] by Conor Mcbride, Ross Paterson posted to effects haskell monads by zednenem on 2006-01-15 07:44:37 as along with 9 people jcreed pedagand msakai shimomura josefs mstone bringert conal croys
	Combining Effects: Sum and Tensor [My Copy] by Martin Hyland, Gordon Plotkin, John Power posted to effects lawvere-theories monad-transformers monads by zednenem on 2005-10-05 19:10:06 as along with 3 people scis0000001 glaubersp richardlp
	Deep Integration of Scripting Languages and Semantic Web Technologies [My Copy] by Denny Vrandečić posted to owl python rdf by zednenem on 2005-09-16 22:05:07 as
	Asynchronous Exceptions in Haskell [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (2001), pp. 274-285. by Simon Marlow, Simon, Andrew Moran, John H. Reppy posted to concurrency exceptions haskell by zednenem on 2005-09-09 16:52:21 as along with 3 people JeffreyPalmer kinaba neuralwarp
	Imperative streams--a monadic combinator library for synchronous programming [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 261-272. by Enno Scholz posted to concurrency haskell monads by zednenem on 2005-08-26 22:22:02 as along with 5 people and 1 group twleung greenrd JeffreyPalmer jrw josefs SRG_at_UCD
	DSL implementation using staging and monads [My Copy] In Domain-Specific Languages (1999), pp. 81-94. by Tim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic posted to dsl monads staged-programming by zednenem on 2005-08-26 22:21:12 as along with 6 people and 2 groups twleung JacquesC hamish greenrd JeffreyPalmer cedricboidin NU-PRL SRG_at_UCD
	Monad transformers and modular interpreters [My Copy] In Conference record of POPL '95, 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: San Francisco, California, January 22--25, 1995 (1995), pp. 333-343. by Sheng Liang, Paul Hudak, Mark Jones edited by Ac posted to interpreters monad-transformers monads by zednenem on 2005-08-26 22:20:00 as along with 10 people and 1 group draganigajic greenrd JeffreyPalmer tautologico Benja jsala glaubersp conal americovargas pedagand SRG_at_UCD
	Categorical Logic [My Copy] In Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures (2001) by Andrew M. Pitts edited by S. Abramsky, D. M. Gabbay, T. S. E. Maibaum posted to category-theory logic by zednenem on 2005-08-16 05:26:43 as along with 18 people and 4 groups ama08r jorisslob dalev jrw tautologico wasi schaal dmitri83 ryanc scis0000001 aleks kaqui keigoi xiemaisi glaubersp janschaefer mmarcus ps_ttf NU-PRL Compilers AS-IIS_ReadingGroup TU-KL-SoftwareTechnologyGroup
	Computational Comonads and Intensional Semantics [My Copy] In Applications of Categories in Computer Science: Proceedings LMS Symp., Durham, {UK}, 20--30 July 1991, Vol. 177 (1992), pp. 1-44. by Stephen Brookes, Shai Geva edited by M. P. Fourman, P. T. Johnstone, A. M. Pitts posted to category-theory comonads haskell semantics by zednenem on 2006-08-24 07:24:39 as along with 6 people and 1 group dherman jrw msakai dmitri83 EdwardKmett meiersi NU-PRL
	Using Catamorphisms, Subtypes and Monad Transformers for Writing Modular Functional Interpreters. [My Copy] by Luc Duponcheel posted to compilation interpreters monads by zednenem on 2006-05-14 22:21:15 as along with 1 person jrw
	Theorems for Free! [My Copy] In Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, UK, 11--13 Sept 1989 (1989), pp. 347-359. by Philip Wadler posted to type-as-proposition type-theory by zednenem on 2006-02-04 22:29:40 as along with 17 people and 2 groups jimburton pedagand draganigajic samth dherman JacquesC greenrd rwtodd msakai lomeo ryanc tov jwm0123 KarlKlose cdiggins dfisher americovargas NU-PRL SRG_at_UCD
	Haskell is not not ML [My Copy] In European Symposium on Programming (2006) by Ben Rudiak-Gould, Alan Mycroft, Simon P. Jones posted to continuations haskell intermediate-language ml by zednenem on 2006-01-23 19:21:02 as along with 3 people josefs scook0 EdwardKmett
	Logic-Based Knowledge Representation [My Copy] In Artificial Intelligence Today, Recent Trends and Developments, No. 1600. (1999), pp. 13-41. by F. Baader edited by M. J. Wooldridge, M. Veloso posted to description-logic knowledge-representation logic logic-programming by zednenem on 2006-01-09 21:14:38 as along with 2 people jmaddi neilernst
	wxHaskell: a portable and concise GUI library for haskell [My Copy] In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 57-68. by Daan Leijen posted to gui haskell by zednenem on 2006-01-04 02:51:17 as along with 2 people jrw kowey
	Code optimisation techniques for lazy functional languages [My Copy] by Urban Boquist posted to compilation haskell intermediate-language optimization by zednenem on 2005-09-24 05:38:51 as along with 4 people jrw cedricboidin pejo MattOConnor
	Disciplined, efficient, generalised folds for nested datatypes [My Copy] Formal Aspects of Computing, Vol. 16, No. 1. (2004), pp. 19-35. by Clare Martin, Jeremy Gibbon, Ian Bayley posted to folds nested-datatypes by zednenem on 2005-09-03 07:00:39 as along with 1 person jrw
	Mixin Modules in a Call-by-Value Setting [My Copy] In ESOP '02: Proceedings of the 11th European Symposium on Programming Languages and Systems (2002), pp. 6-20. by Tom Hirschowitz, Xavier Leroy posted to call-by-value mixins modules by zednenem on 2005-08-25 20:47:52 as
	Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types [My Copy] by Tom Hirschowitz, Xavier Leroy, J. B. Wells posted to call-by-value mixins modules by zednenem on 2005-08-25 20:45:45 as
	Interpreting the Data: Parallel Analysis with Sawzall [My Copy] by Rob Pike, Sean Dorward, Robert Griesemer, Sean Quinlan posted to query by zednenem on 2005-08-23 07:01:11 as along with 4 people ssn JeffreyPalmer lar fmccown
	Mixin modules and computational effects [My Copy] (2003) by D. Ancona, S. Fagorzi, E. Moggi, E. Zucca posted to mixins modules monads by zednenem on 2005-07-21 21:13:03 as
	Rolling Your Own Mutable ADT---A Connection Between Linear Types and Monads [My Copy] In Conference Record of POPL~'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (JanuaryMay--JanuaryJuly 1997), pp. 54-66. by Chih-Ping Chen, Paul Hudak posted to linear-types monads by zednenem on 2005-06-24 19:19:20 as along with 2 people eaubin tautologico
	Lazy Functional State Threads [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1994), pp. 24-35. by John Launchbury, Simon posted to haskell lazy-evaluation monads by zednenem on 2008-07-28 06:25:10 as
	Lazy Lexing is Fast [My Copy] In Fuji International Symposium on Functional and Logic Programming (1999), pp. 68-84. by Manuel M. T. Chakravarty posted to lazy-evaluation lexing by zednenem on 2008-07-22 18:46:56 as
	Towards an ML-Style Polymorphic Type System for C [My Copy] In European Symposium on Programming (1996), pp. 341-355. by Geoffrey Smith, Dennis M. Volpano posted to polymorphism by zednenem on 2008-05-21 07:22:31 as
	Linearity and Laziness [My Copy] In Functional Programming Languages and Computer Architecture (1991), pp. 215-240. by David Wakeling, Colin Runciman posted to lazy-evaluation linear-types by zednenem on 2008-05-10 22:06:20 as
	Combining a Monad and a Comonad [My Copy] No. TR-99-33. (1999) by John Power, Hiroshi Watanabe posted to comonads monads by zednenem on 2008-03-23 22:05:48 as along with 2 people draganigajic sclv
	Call-by-Push-Value: A Subsuming Paradigm [My Copy] In Typed Lambda Calculus and Applications (1999), pp. 228-242. by Paul B. Levy posted to lambda-calculus by zednenem on 2007-10-11 04:49:52 as
	Adequacy for Algebraic Effects [My Copy] Lecture Notes in Computer Science, Vol. 2030 (2001) by Gordon Plotkin, John Power posted to effects lambda-calculus lawvere-theories monads by zednenem on 2007-10-11 04:33:40 as
	Implementing Distributed Systems Using Linear Naming [My Copy] No. AITR-1627. (1993) by Alan Bawden posted to concurrency by zednenem on 2007-08-30 07:06:50 as along with 1 person and 1 group dherman NU-PRL
	Derivable type classes [My Copy] (2000) by R. Hinze, S. Jones posted to generic-programming haskell type-classes by zednenem on 2007-08-02 11:36:58 as along with 3 people spl conal americovargas
	Using Hierarchical Scheduling to Support Soft Real-Time Applications on General-Purpose Operating Systems [My Copy] (2001) by J. Regehr posted to concurrency by zednenem on 2007-08-01 05:25:37 as
	Modular lazy search for constraint satisfaction problems [My Copy] (2001) by T. Nordin, A. Tolmach posted to constraint-satisfaction lazy-evaluation by zednenem on 2007-07-31 06:39:09 as
	A logic for parametric polymorphism [My Copy] In International Conference on Typed Lambda Calculi and Applications, No. 664. (1993), pp. 361-375. by Gordon Plotkin, Mart∈ Abadi edited by M. Bezem, J. F. Groote posted to logic polymorphism system-f by zednenem on 2007-04-14 04:02:58 as along with 1 person tautologico
	Category Theory as Coherently Constructive Lattice Theory: An Illustration [My Copy] No. 94-43. (1994) by Roland Backhouse, Marcel Bijsterveld posted to category-theory lattices by zednenem on 2007-04-03 06:01:59 as along with 3 people ansobol jrw scis0000001
	Type-Directed Concurrency [My Copy] by Deepak G. And posted to concurrency type-system type-theory by zednenem on 2007-03-28 02:39:55 as along with 2 people jrw harshrc
	Coalgebraic Reasoning about Classes in Object-Oriented Languages [My Copy] (1998) by B. Jacobs posted to coalgebra oop by zednenem on 2007-01-08 00:37:58 as
	A modal calculus for effect handling [My Copy] No. CMU-CS-03-149. (2003) by A. Nanevski posted to effects modal-logic monads by zednenem on 2007-01-02 07:31:39 as along with 2 people and 1 group Scis0000002 greenrd SRG_at_UCD
	Gast: Generic automated software testing [My Copy] (2002) by P. Koopman, A. Alimarine, J. Tretmans, R. Plasmeijer posted to haskell testing by zednenem on 2006-11-14 05:16:54 as along with 1 person JeffreyPalmer
	Derivatives of Regular Expressions [My Copy] J. ACM, Vol. 11, No. 4. (October 1964), pp. 481-494. by Janusz A. Brzozowski posted to regular-expressions by zednenem on 2006-02-28 20:10:59 as along with 8 people hubris mattmight msakai kavabean mstone bunge jennie dfisher
	Pattern Guards and Transformational Patterns [My Copy] In Haskell Workshop (2000) by M. Erwig, Peyton S. L. Jones posted to haskell by zednenem on 2006-02-10 06:44:27 as along with 1 person jrw
	Comprehending Monads [My Copy] In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice (1990), pp. 61-78. by P. L. Wadler posted to monads by zednenem on 2006-02-04 22:22:22 as along with 31 people and 2 groups mahler puzza hellige rgrig JeffreyPalmer Darius rwtodd jrw creswick cedricboidin bfraser ben_moseley scis0000001 msn mstone bunge rgb Benja jsala meiersi jasonmc glaubersp ds conal cdiggins cognominal benchambers kazuya hayeah mmarcus donniejones18 SRG_at_UCD pileWorks
	Realistic Compilation by Program Transformation [My Copy] In Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages (1989), pp. 281-292. by Richard Kelsey, Paul Hudak posted to compilation program-transformation by zednenem on 2005-11-09 17:07:58 as along with 9 people and 2 groups kvm egh twleung jacob rgrig JacquesC JeffreyPalmer jrw josefs NU-PRL SRG_at_UCD
	Notions of Computation Determine Monads [My Copy] In Foundations of Software Science and Computation Structure (2002), pp. 342-356. by Gordon D. Plotkin, John Power posted to effects lawvere-theories monads by zednenem on 2005-11-02 16:40:35 as along with 7 people and 2 groups noam_zeilberger greenrd JeffreyPalmer cedricboidin mahler mstone glaubersp Rightscom SRG_at_UCD
	Bootstrapping One-sided Flexible Arrays [My Copy] by Ralf Hinze posted to haskell purely-functional-data-structures by zednenem on 2005-10-19 05:26:45 as along with 1 person conal
	Grammatical Framework [My Copy] Journal of Functional Programming, Vol. 14, No. 02. (March 2004), pp. 145-189. by A. Aarne Rant posted to grammar haskell logic natural-language zippers by zednenem on 2005-10-09 16:49:34 as along with 5 people robertjohnsimmons josefs kavabean bringert richardlp
	Termination checking with types [My Copy] (2002) by A. Abel posted to termination type-system by zednenem on 2005-10-07 22:43:09 as along with 4 people and 2 groups shimomura msakai greenrd ardt SRG_at_UCD Lambda the Ultimate
	Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine [My Copy] Journal of Functional Programming, Vol. 2, No. 2. (1992), pp. 127-202. by Simon L. Peyton-Jones posted to compilation haskell intermediate-language lazy-evaluation by zednenem on 2005-10-05 02:04:17 as along with 7 people JeffreyPalmer jrw damaru benchambers jpetry donniejones18 spl
	An intensional type theory: motivation and cut-elimination [My Copy] Journal of Symbolic Logic by Paul C. Gilmore posted to logic type-theory by zednenem on 2005-09-17 03:51:39 as along with 1 person josefs

Note: You may cite this page as: http://www.citeulike.org/user/zednenem/order/to_read

Result page: 1 2 3 Next

haskell	50
monads	34
modules	14
concurrency	11
fp	11
category-theory	9
lazy-evaluation	8
type-classes	8
comonads	7
effects	7
logic-programming	7
generic-programming	6
logic	6
compilation	5
intermediate-language	5
lawvere-theories	5
query	5
continuation	4
continuations	4
mixins	4
monad-transformers	4
recursion	4
staged-programming	4
type-theory	4
algebra	3
associated-types	3
coinduction	3
gui	3
metaprogramming	3
ml	3
ocaml	3
oop	3
polymorphism	3
programming	3
zippers	3
abstract-types	2
algebraic-reasoning	2
applicative-functors	2
attribute-grammars	2
backtracking	2
call-by-value	2
codata	2
composable-references	2
corecursion	2
dataflow-programming	2
dsl	2
gadt	2
higher-ranked-types	2
impredicative-types	2
interpreters	2
lambda-calculus	2
linear-types	2
parsing	2
program-transformation	2
rdf	2
reflection	2
semantics	2
transluscent-functors	2
type-equality	2
type-system	2
algorithms	1
allocation	1
arithmetic	1
arrows	1
build-systems	1
coalgebra	1
collections	1
combinators	1
constraint-satisfaction	1
contracts	1
dependent-types	1
description-logic	1
domain-theory	1
dynamic-linking	1
dynamic-typing	1
edsl	1
embedding	1
epigram	1
equational-reasoning	1
events	1
exceptions	1
expressiveness	1
folds	1
frp	1
fundeps	1
grammar	1
graph	1
implicit-variables	1
incremental-computing	1
knowledge-representation	1
lattices	1
lexing	1
lua	1
macros	1
make	1
metaocaml	1
modal-logic	1
multiparadigm	1
natural-language	1
nested-datatypes	1
non-strict	1
optimization	1
ordinals	1
owl	1
oz	1
pan	1
partial-evaluation	1
plt	1
purely-functional-data-structures	1
python	1
references	1
regular-expressions	1
resumptions	1
scala	1
scheme	1
software-maintenance	1
structural-types	1
symbolic-math	1
system-f	1
template-haskell	1
termination	1
testing	1
text-formatting	1
trampoline-style	1
type-as-proposition	1
typecase	1
type-coercion	1
type-indexed-types	1
type-inference	1
type-isomorphisms	1
unboxed-types	1
units	1
virtual-types	1
xml	1
yampa	1

zednenem's library 140 articles Export

zednenem's tags