AndreasSchropp's library 25 articles Export

	Scrap your Nameplate - Functional Pearl [My Copy] by James Cheney posted to generic-programming haskell by AndreasSchropp on 2007-04-12 02:25:33 as along with 4 people jrw zednenem jburnim EdwardKmett
	A theory of overloading [My Copy] ACM Trans. Program. Lang. Syst., Vol. 27, No. 6. (November 2005), pp. 1216-1269. by Peter J. Stuckey, Martin Sulzmann posted to functional-dependencies haskell overloading type-classes by AndreasSchropp on 2007-03-15 18:02:15 as along with 2 people keigoi yallop
	a language-based approach to unifying events and threads [My Copy] by Peng Li, Steve Zdancewic posted to concurrency haskell by AndreasSchropp on 2007-02-23 02:36:59 as
	Comprehending Queries [My Copy] (1999) by T. Grust posted to queries monad comprehensions by AndreasSchropp on 2007-01-31 21:55:24 as along with 2 people and 1 group zednenem mahler Rightscom
	Typed logical variables in Haskell [My Copy] (2000) by K. Claessen, P. Ljungl posted to logic-programming haskell backtracking by AndreasSchropp on 2007-01-19 17:21:26 as along with 3 people zednenem msakai jsala
	Software extension and integration with type classes [My Copy] In GPCE '06: Proceedings of the 5th international conference on Generative programming and component engineering (2006), pp. 161-170. by Ralf Lämmel, Klaus Ostermann posted to decomposition-problem design-patterns expression-problem framework-integration haskell multiple-dispatch software-extension software-integration type-classes by AndreasSchropp on 2007-01-04 00:43:05 as
	Haskell's overlooked object system [My Copy] (10 Sep 2005) by Oleg Kiselyov, Ralf Laemmel posted to haskell objects oop polymorphism records subtyping type-classes by AndreasSchropp on 2007-01-04 00:34:13 as along with 5 people and 1 group greenrd voigt mgran mcclurmc jimburton SRG_at_UCD
	Backtracking, interleaving, and terminating monad transformers: (functional pearl) [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 192-203. by Oleg Kiselyov, Chung-Chieh Shan, Daniel P. Friedman, Amr Sabry posted to backtracking continuations control-delimiters logic-programming monad-transformers monads streams by AndreasSchropp on 2007-01-03 14:08:15 as along with 4 people and 2 groups greenrd voigt mahler msakai Rightscom SRG_at_UCD
	Interactive Theorem Proving and Program Development. Coq'Art: The Calculus of Inductive Constructions [My Copy] by Yves Bertot, P. Casteran posted to theorem-proving type-theory verification by AndreasSchropp on 2006-12-25 01:27:37 as along with 1 person michaelbanks
	Denotational semantics: a methodology for language development [My Copy] (1986) by David A. Schmidt posted to denotational-semantics by AndreasSchropp on 2006-12-23 19:48:02 as
	Proofs and types [My Copy] (1989) by Jean Y. Girard, Paul Taylor, Yves Lafont posted to logic type-theory by AndreasSchropp on 2006-12-22 22:51:48 as along with 7 people and 1 group pedagand ddemange dimvar robertjohnsimmons robotact alec jonathlela ConcertRG
	Communicating and Mobile Systems: the Pi-Calculus [My Copy] (15 June 1999) by Robin Milner posted to algebra calculus ccs concurrency pi pi-calculus process process-algebra by AndreasSchropp on 2006-12-22 22:51:10 as along with 14 people and 2 groups scottmoody talototo stagediver bfraser kontakte cogumbreiro osh roland_ewald carmaus mattis23 laurajaros soulism jfischer Grobi dIEMoSIRIS MoSi-Rostock
	Category theory for computing science [My Copy] (1990) by Michael Barr, Charles Wells posted to category-theory by AndreasSchropp on 2006-12-22 22:49:45 as
	Types and Programming Languages [My Copy] (01 February 2002) by Benjamin C. Pierce posted to functional-programming type-theory types by AndreasSchropp on 2006-12-22 22:46:38 as along with 20 people and 2 groups ama08r michaelbanks mperalta draganigajic eaubin greenrd sstrickl cedricboidin dsilva voigt msakai bonotake iga cogumbreiro beschmi robotact srccheck jimburton jasmithoffice shimomura SRG_at_UCD Lambda the Ultimate
	Graph Transformations An Introduction to the Categorical Approach [My Copy] by Hans J. Schneider posted to category-theory graph-transformations by AndreasSchropp on 2006-12-22 22:45:13 as
	Cheap (but functional) threads [My Copy] Journal of Functional Programming (2004) by Bill Harrison posted to concurrency monad resumptions threads by AndreasSchropp on 2006-12-22 22:41:03 as
	Functional pearl: implicit configurations--or, type classes reflect the values of types [My Copy] In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 33-44. by Oleg Kiselyov, Chung-Chieh Shan posted to configuration existential-types faking-dependent-types higher-rank-polymorphism implicit-parameters polymorphism-recursion type-classes by AndreasSchropp on 2006-12-22 22:30:10 as along with 5 people and 1 group hellige greenrd yallop zednenem jimburton SRG_at_UCD
	ML Modules and Haskell Type Classes: A Constructive Comparison [My Copy] Journal for Functional Programming (2006) by Stefan Wehr, Manuel posted to haskell modules typeclasses by AndreasSchropp on 2006-12-22 22:26:54 as
	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 concurrency haskell objects reactive by AndreasSchropp on 2006-12-22 22:22:25 as along with 2 people jrw zednenem
	The Theory and Practice of Concurrency [My Copy] (1997) by A. W. Roscoe, C. A. R. Hoare, Richard Bird posted to csp hoare roscoe by AndreasSchropp on 2006-12-22 22:07:31 as along with 3 people and 1 group leonardo michaelbanks zbchen CSP
	Transactional events [My Copy] SIGPLAN Not., Vol. 41, No. 9. (September 2006), pp. 124-135. by Kevin Donnelly, Matthew Fluet posted to concurrency first-class-events monads synchronous-message-passing transactions by AndreasSchropp on 2006-12-22 21:57:16 as along with 1 person robertjohnsimmons
	Sound and Decidable Type Inference for Functional Dependencies [My Copy] Lecture Notes in Computer Science : Programming Languages and Systems (2004), pp. 49-63. by Gregory J. Duck, Simon Peyton-Jones, Peter J. Stuckey, Martin Sulzmann posted to fundeps haskell type-inference typeclasses typing by AndreasSchropp on 2006-12-22 21:54:56 as along with 1 person yallop
	Composable memory transactions [My Copy] In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (2005), pp. 48-60. by Tim Harris, Simon Marlow, Simon Peyton-Jones, Maurice Herlihy posted to concurrency jones parallel stm by AndreasSchropp on 2006-12-22 21:54:29 as along with 24 people and 3 groups pwais bhoward fukumori gakincho amp269 fvogels bfraser draganigajic hamish greenrd tautologico amorkan damaru epaulson joelh ben_moseley scook0 neilc pjdonald janschaefer kazuya pedagand brecknell frej ConcertRG SRG_at_UCD TU-KL-SoftwareTechnologyGroup
	Purely functional data structures [My Copy] (1998) by Chris Okasaki posted to algorithms data-structures functional-programming by AndreasSchropp on 2006-12-22 21:52:39 as along with 5 people JeffreyPalmer muli msakai kozaki jimburton
	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 logic-programming monad-transformers monads by AndreasSchropp on 2006-12-22 21:50:31 as along with 3 people and 1 group dherman msakai mcclurmc NU-PRL

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

haskell	10
concurrency	6
type-classes	4
backtracking	3
logic-programming	3
monads	3
type-theory	3
category-theory	2
functional-programming	2
monad	2
monad-transformers	2
objects	2
typeclasses	2
algebra	1
algorithms	1
calculus	1
ccs	1
comprehensions	1
configuration	1
continuations	1
control-delimiters	1
csp	1
data-structures	1
decomposition-problem	1
denotational-semantics	1
design-patterns	1
existential-types	1
expression-problem	1
faking-dependent-types	1
first-class-events	1
framework-integration	1
functional-dependencies	1
fundeps	1
generic-programming	1
graph-transformations	1
higher-rank-polymorphism	1
hoare	1
implicit-parameters	1
jones	1
logic	1
modules	1
multiple-dispatch	1
oop	1
overloading	1
parallel	1
pi	1
pi-calculus	1
polymorphism	1
polymorphism-recursion	1
process	1
process-algebra	1
queries	1
reactive	1
records	1
resumptions	1
roscoe	1
software-extension	1
software-integration	1
stm	1
streams	1
subtyping	1
synchronous-message-passing	1
theorem-proving	1
threads	1
transactions	1
type-inference	1
types	1
typing	1
verification	1

AndreasSchropp's library 25 articles Export

AndreasSchropp's tags