Group: NU-PRL - with tag monads [24 articles] Export

Recent papers posted by members of the NU-PRL group with tag monads

	Untitled [My Copy] posted to monads resumptions threads by dalev to the group NU-PRL on 2005-08-10 23:06:05 as along with 2 people JeffreyPalmer zednenem
	Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code [My Copy] Generative Programming and Component Engineering (2005) by Jacques Carette, Oleg Kiselyov posted to monads staged-programming by dherman to the group NU-PRL on 2005-07-01 16:56:35 as along with 4 people JeffreyPalmer zednenem ryanc EdwardKmett
	Building interpreters by composing monads [My Copy] In Conference record of POPL '94, 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: Portland, Oregon, January 17--21, 1994 (1994), pp. 472-492. by Guy Steele edited by Ac posted to interpreters monads by JacquesC to the group NU-PRL on 2005-05-01 14:34:10 as along with 5 people rwtodd cedricboidin bunge Benja glaubersp
	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 S. L. P. Simon, Philip Wadler posted to haskell monads by samth to the group NU-PRL on 2005-02-21 16:05:01 as along with 2 people cedricboidin robennals
	Monadic Parser Combinators [My Copy] No. NOTTCS-TR-96-4. (1996) by Graham Hutton, Erik Meijer posted to combinator monads by JacquesC to the group NU-PRL on 2005-01-23 14:37:08 as along with 8 people and 1 group puzza twleung eaubin JeffreyPalmer jrw roi joelh mcclurmc Lambda the Ultimate
	Monad transformers and modular interpreters [My Copy] In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995), pp. 333-343. by Sheng Liang, Paul Hudak, Mark Jones posted to interpreters monads by JacquesC to the group NU-PRL on 2005-01-23 14:36:01 as along with 7 people bulwahn eaubin rwtodd cedricboidin oliverh bfraser pile
	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 JacquesC to the group NU-PRL on 2005-01-03 00:35:18 along with 6 people and 1 group twleung hamish greenrd JeffreyPalmer cedricboidin zednenem SRG_at_UCD
	A monadic combinator compiler compiler [My Copy] (2001) by C. Camarao, L. Figueiredo posted to combinator compilers haskell monads by JacquesC to the group NU-PRL on 2005-01-03 00:31:13 along with 4 people twleung JeffreyPalmer tautologico zednenem
	Linear logic, monads and the lambda calculus [My Copy] In Proceedings of the 11th IEEE Symposium on Logic in Computer Science, Brunswick, New Jersey (jul 1996) by N. Benton, P. Wadler posted to lambda-calculus linear-types linearity monads by dherman to the group NU-PRL on 2004-12-29 17:53:22 along with 4 people tautologico glaubersp ds kozima
	The marriage of effects and monads [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 63-74. by Philip Wadler posted to effects monads by dherman to the group NU-PRL on 2004-12-29 17:49:09 along with 6 people sourada twleung cedricboidin tautologico ben_moseley scis0000001
	Codata and Comonads in Haskell [My Copy] (1999) by Richard Kieburtz posted to adt haskell higher-rank-polymorphism monads by dherman to the group NU-PRL on 2004-12-29 16:04:10 along with 8 people and 1 group ama08r JacquesC greenrd cedricboidin zednenem msakai bonotake mcclurmc SRG_at_UCD
	Recursion is a computational effect [My Copy] (2000) by D. Friedman, A. Sabry posted to effects haskell monads recursion-effect by dherman to the group NU-PRL on 2004-12-29 03:33:27 along with 4 people and 1 group twleung JacquesC greenrd jrw SRG_at_UCD
	From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 125-125. by Harry G. Mairson posted to cfa contexts games linearity monads by dherman to the group NU-PRL on 2004-12-26 05:19:30 along with 3 people and 1 group rogargon mahler scis0000001 Rightscom
	Rolling your own mutable ADT—a connection between linear types and monads [My Copy] In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 54-66. by Chih-Ping Chen, Paul Hudak posted to adt linear-types monads by dherman to the group NU-PRL on 2004-12-26 04:42:40 along with 2 people tautologico mcclurmc
	Stochastic lambda calculus and monads of probability distributions [My Copy] In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 154-165. by Norman Ramsey, Avi Pfeffer posted to lambda-calculus monads probability by dherman to the group NU-PRL on 2004-12-26 04:41:44 along with 4 people and 1 group tautologico mahler mstone pedagand Rightscom
	Deriving backtracking monad transformers [My Copy] ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 186-197. by Ralf Hinze posted to backtracking monad-transformers monads by dherman to the group NU-PRL on 2004-12-25 21:53:50 along with 3 people msakai AndreasSchropp mcclurmc
	Representing Control: A study of the CPS transformation [My Copy] Mathematical Structures in Computer Science, Vol. 2, No. 4. (1992), pp. 361-391. by Olivier Danvy, Andrzej Filinski posted to continuations control cps effects monads by dherman to the group NU-PRL on 2004-12-25 21:49:42 along with 8 people puzza pedagand yoriyuki twleung JeffreyPalmer mvermaat ch jkominek
	Lazy functional state threads [My Copy] In PLDI '94: Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, Vol. 29, No. 6. (June 1994), pp. 24-35. by John Launchbury, Simon L. Peyton Jones posted to monads parametricity by dherman to the group NU-PRL on 2004-12-23 17:27:42 along with 8 people and 1 group ama08r spl fvogels draganigajic twleung greenrd tautologico pedagand SRG_at_UCD
	Representing monads [My Copy] In POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1994), pp. 446-457. by Andrzej Filinski posted to continuations effects monads by dherman to the group NU-PRL on 2004-12-23 14:20:11 along with 7 people noam_zeilberger bhoward amp269 twleung JacquesC JeffreyPalmer voigt
	From Interpreter to Compiler using Staging and Monads [My Copy] (1998) by T. Sheard, Z. Benaissa posted to futamura-projection monads partial-evaluation staged-programming by dherman to the group NU-PRL on 2004-12-19 15:40:31 along with 4 people and 1 group twleung eaubin JeffreyPalmer mahler Rightscom
	The Ins and Outs of Clean I/O [My Copy] Journal of Functional Programming, Vol. 5, No. 1. (1995), pp. 81-110. by Peter Achten, Marinus J. Plasmeijer posted to clean honu io monads world-passing by dherman to the group NU-PRL on 2004-12-18 22:34:51 along with 1 person twleung
	DSL implementation using staging and monads [My Copy] In PLAN '99: Proceedings of the 2nd conference on Domain-specific languages, Vol. 35, No. 1. (January 1999), pp. 81-94. by Tim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic posted to dsl monads staged-programming by dherman to the group NU-PRL on 2004-12-12 04:13:40 along with 7 people sourada twleung eaubin JacquesC hamish stagediver keigoi
	Representing layered monads [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 175-188. by Andrzej Filinski posted to monads by samth to the group NU-PRL on 2004-12-01 23:06:37 along with 2 people and 1 group JeffreyPalmer voigt ConcertRG
	Imperative Functional Programming [My Copy] In Conference record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina (1993), pp. 71-84. by S. L. P. Simon, Philip Wadler posted to haskell monads programming by samth to the group NU-PRL on 2004-11-30 19:36:15 along with 7 people jacob cedricboidin pintman lomeo pile jwm0123 glaubersp

Note: You may cite this page as: http://www.citeulike.org/group/8/tag/monads

haskell	111
functional-programming	62
category-theory	38
effects	27
types	22
concurrency	21
lambda-calculus	20
continuations	18
functional	17
side-effects	16
language-haskell	15
semantics	15
arrows	14
compilers	14
interpreters	14
category	12
monad-transformers	11
programming	11
comonads	10
dsl	10
linear-types	10
functional_programming	9
staged-programming	9
staging	9
probability	8
linear-logic	7
adt	6
linearity	6
backtracking	5
compiler	5
coproducts	5
cps	5
lawvere-theories	5
lawvere_theories	5
algebras	4
category_theory	4
closure-structures	4
combinator	4
distributive_laws	4
fp	4
functional-state	4
lecture-cs-252r	4
ml	4
multi-stage-languages	4
oop	4
optimization	4
partial-evaluation	4
theory	4
typeclasses	4
verification	4
call-by-value	3
clean	3
coalgebras	3
combinators	3
contexts	3
continuation	3
for-matt	3
games	3
generic-programming	3
incremental	3
input-output	3
lambda-calculi	3
language-implementation	3
lazy-evaluation	3
modal-logic	3
operating-system	3
operating-systems	3
os	3
parametricity	3
parsers	3
parsing	3
polymorphism	3
program-transformation	3
recursion	3
strict-evaluation	3
value-recursion	3
xml	3
algebra	2
arrow	2
bidirectional	2
call-by-need	2
cfa	2
embedded-systems	2
formal-proof	2
functional-logic	2
futamura-projection	2
higher-rank-polymorphism	2
imperative-programming	2
io	2
logic-programming	2
lueth_02_composing-root	2
modules	2
programming-languages	2
pure	2
reflection	2
rewriting	2
staged	2
theorem-provers	2
transactions	2
tutorial	2

Group: NU-PRL - with tag monads [24 articles] Export

Related Tags