zednenem's library 140 articles Export

	1 [My Copy] by John Launchbury, Ross Paterson posted to haskell lazy-evaluation unboxed-types by zednenem on 2009-03-02 15:39:19 as
	Dictionary-free overloading by partial evaluation [My Copy] In In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (1994), pp. 107-117. by Mark P. Jones posted to haskell partial-evaluation type-classes by zednenem on 2008-08-27 01:04:33 as
	Embedding Prolog In Haskell [My Copy] by Michael Spivey, Silvija Seres posted to haskell logic-programming by zednenem on 2008-08-26 05:06:09 as along with 1 person shimomura
	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
	Algebra of Logic Programming [My Copy] In International Conference on Logic Programming (1999), pp. 184-199. by Silvija Seres, Michael J. Spivey, C. A. R. Hoare posted to haskell logic-programming by zednenem on 2008-07-19 04:00:06 as
	Value Recursion in Monadic Computations [My Copy] (2002) by L. Erkok posted to monads by zednenem on 2008-07-12 10:41:27 as along with 3 people and 1 group dherman glaubersp cognominal NU-PRL
	Deriving backtracking monad transformers [My Copy] ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 186-197. by Ralf Hinze posted to backtracking haskell monads monad-transformers by zednenem on 2008-05-31 01:42:18 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
	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
	The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 172 (2007), pp. 437-458. by Martin Hyland, John Power posted to category-theory effects lawvere-theories monads by zednenem on 2007-10-11 02:22:10 as along with 7 people christiankissig madhadron Scis0000002 vishpool masteraka mmarcus ps_ttf
	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
	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
	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
	Ordinal Arithmetic with List Structures [My Copy] In Logical Foundations of Computer Science (1992), pp. 117-126. by Nachum Dershowitz, Edward M. Reingold posted to arithmetic ordinals by zednenem on 2007-07-30 06:48:31 as
	A Functional Programming Technique for Forms in Graphical User Interfaces [My Copy] Implementation and Application of Functional Languages (2005), pp. 35-51. by Sander Evers, Peter Achten, Jan Kuper posted to composable-references fp gui haskell by zednenem on 2007-06-05 02:56:45 as
	Compositional References for Stateful Functional Programming [My Copy] In Proceedings of the ACM {SIGPLAN} International Conference on Functional Programming ({ICFP} '97), Vol. 32(8) (1997), pp. 217-226. by Koji Kagawa posted to composable-references fp by zednenem on 2007-06-05 02:52:43 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
	Polytypic Functional Programming and Data abstraction [My Copy] (January 2006) by Pablo N. Iglesias posted to generic-programming haskell by zednenem on 2007-04-07 00:47:52 as
	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
	An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming [My Copy] by Jonathan M. D. Hill, Keith Clarke posted to category-theory fp haskell monads by zednenem on 2007-03-28 02:36:39 as along with 11 people and 1 group pirapira algorithmic draganigajic ansobol jrw proportional jutaro glaubersp mathcoq ps_ttf namin Lambda the Ultimate
	Reactive Objects for Haskell [My Copy] In Informal proceedings of the Fifth Symposium on Trends in Functional Languages (TFP 2004). (November 2004) by Stefan Heimann, Matthias Neubauer posted to oop haskell concurrency by zednenem on 2007-01-10 00:49:40 as along with 2 people jrw AndreasSchropp
	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
	Unified Algebra [My Copy] by E. Hehner, U. Algebra, Cs, et al. Edu, Ua, From, A. To posted to algebra programming by zednenem on 2007-01-05 07:07:21 as
	from boolean algebra to unified algebra [My Copy] (1997) by E. Hehner posted to algebra programming by zednenem on 2007-01-05 07:05:46 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
	RepLib: a library for derivable type classes [My Copy] In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 1-12. by Stephanie Weirich posted to generic-programming haskell by zednenem on 2006-12-19 16:49:20 as along with 2 people spl keigoi
	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
	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
	Arrows, like Monads, are Monoids [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXII), Vol. 158 (5 May 2006), pp. 219-236. by Chris Heunen, Bart Jacobs posted to arrows category-theory monads by zednenem on 2006-08-08 00:22:04 as along with 6 people and 1 group christiankissig jrw oryp6518 mstone rgb cognominal pileWorks
	Scrap your Nameplate - Functional Pearl [My Copy] by James Cheney posted to generic-programming haskell by zednenem on 2006-06-05 19:52:29 as along with 4 people jrw jburnim EdwardKmett AndreasSchropp
	Continuations for parallel logic programming [My Copy] In Principles and Practice of Declarative Programming (2000), pp. 257-267. by Eneia Todoran, Nikolaos Papaspyrou posted to concurrency haskell logic-programming by zednenem on 2006-06-02 19:16:56 as along with 1 person scis0000001
	System F with Type Equality Coercions [My Copy] by Martin Sulzmann, Manuel Chakravarty, Simon Peyton-Jones posted to associated-types gadt intermediate-language type-classes type-equality by zednenem on 2006-05-30 19:46:16 as along with 1 person and 1 group scm AS-IIS_ReadingGroup
	A language-based approach to unifying events and threads [My Copy] by Peng Li, Steve Zdancewic posted to concurrency continuations events haskell by zednenem on 2006-05-30 15:35:42 as along with 1 person jrw
	Escaping the event loop: an alternative control structure for multi-threaded GUIs [My Copy] In EHCI (1995), pp. 69-87. by M. Fuchs posted to concurrency continuations gui by zednenem on 2006-05-20 17:53:05 as along with 5 people hamish JeffreyPalmer dsilva conal danlentz
	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
	Primitive (Co)Recursion and Course-of-Value (Co)Iteration, Categorically [My Copy] Informatica (Lithuanian Academy of Sciences), Vol. 10, No. 1. (1999), pp. 5-26. by Tarmo Uustalu, Varmo Vene posted to coinduction corecursion recursion by zednenem on 2006-03-17 20:47:22 as along with 1 person glaubersp
	Typed Contracts for Functional Programming [My Copy] In Eighth International Symposium on Functional and Logic Programming (April 2006) by Ralph Hinze, Johan Jeuring, Andres Löh edited by Philip Wadler, Masimi Hagiya posted to contracts fp by zednenem on 2006-03-14 20:46:51 as along with 2 people and 1 group dherman josefs NU-PRL
	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
	The derivative of a regular type is its type of one-hole contexts [My Copy] (2001) by Conor Mcbride posted to type-theory zippers by zednenem on 2006-02-28 20:07:37 as along with 7 people and 2 groups robertjohnsimmons mattmight pedagand dherman eaubin josefs ryanc ConcertRG NU-PRL
	An expressive language of signatures [My Copy] SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 27-40. by Norman Ramsey, Kathleen Fisher, Paul Govereau posted to lua ml modules by zednenem on 2006-02-27 02:48:24 as along with 2 people and 1 group thsutton josefs ConcertRG
	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
	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

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

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