voigt's monads [27 articles] Export

Recent papers added to voigt's library classified by the tag monads. You can also see everyone's monads.

	Asymptotic Improvement of Computations over Free Monads [My Copy] Mathematics of Program Construction In Mathematics of Program Construction, Proceedings, Vol. 5133 (July 2008), pp. 388-403. by Janis Voigtländer edited by Christine Paulin-Mohring, Philippe Audebaud posted to continuations deforestation functional-programming generic-programming haskell monads optimization polymorphism program-transformation rank-2 type-classes types by voigt on 2008-07-28 10:23:57 as along with 1 person Benja
	A core calculus of dependency [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 147-160. by Mart&\#237;n Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke posted to functional-programming monads types by voigt on 2005-11-30 07:59:13 as along with 2 people keigoi bfraser
	Logical Relations for Monadic Types [My Copy] In CSL '02: Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic (2002), pp. 553-568. by Jean Goubault-Larrecq, Slawomir Lasota, David Nowak posted to functional-programming logical-relations monads types by voigt on 2005-11-17 13:28:10 as
	Monads and Effects [My Copy] In Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures (2002), pp. 42-122. by Nick Benton, John Hughes, Eugenio Moggi posted to haskell monads functional-programming side-effects types by voigt on 2005-11-10 10:05:20 as
	Notions of Computation Determine Monads [My Copy] In FoSSaCS '02: Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures (2002), pp. 342-356. by Gordon D. Plotkin, John Power posted to functional-programming monads by voigt on 2005-11-03 10:07:37 as
	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 continuations functional-programming ml monads scheme side-effects types by voigt on 2005-11-02 06:25:37 as along with 2 people and 2 groups samth JeffreyPalmer ConcertRG NU-PRL
	Correctness of monadic state: an imperative call-by-need calculus [My Copy] In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 62-74. by Zena M. Ariola, Amr Sabry posted to call-by-name call-by-need functional-programming laziness lazy-evaluation monads side-effects types by voigt on 2005-10-28 14:10:26 as
	On a monadic semantics for freshness [My Copy] Theoretical Computer Science, Vol. 342, No. 1. (6 September 2005), pp. 28-55. by Mark R. Shinwell, Andrew M. Pitts posted to functional-programming monads nominal-abstract-syntax by voigt on 2005-10-25 12:51:03 as along with 1 person and 1 group dherman NU-PRL
	The dual of substitution is redecoration [My Copy] (2002), pp. 99-110. by Tarmo Uustalu, Varmo Vene posted to category-theory functional-programming monads types by voigt on 2005-10-20 07:57:37 as along with 7 people and 1 group greenrd jrw greg_restall zednenem josefs msakai EdwardKmett SRG_at_UCD
	The Functional Approach to Data Management: Modeling, Analyzing, and Integrating Heterogeneous Data [My Copy] (05 November 2003) by Peter M. D. Gray edited by Peter M. D. Gray, Larry Kerschberg, Peter J. H. King, Alexandra Poulovassilis posted to applications functional-programming monads xml by voigt on 2005-10-07 11:48:00 as along with 1 person and 1 group mahler Rightscom
	A Semi-Monad for Semi-structured Data [My Copy] In 8th International Conference on Database Theory, Proceedings, Vol. 1973 (2001), 263. by Mary Fernandez, Jerome Simeon, Philip Wadler posted to monads types xml by voigt on 2005-10-07 11:43:29 as
	There and back again: arrows for invertible programming [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 86-97. by Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko van Eekelen, Rinus Plasmeijer posted to arrows functional-programming generic-programming haskell monads by voigt on 2005-10-06 08:34:34 as along with 4 people and 2 groups greenrd tautologico mahler mstone Rightscom SRG_at_UCD
	Verifying haskell programs using constructive type theory [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 62-73. by Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell posted to dependent-types functional-programming haskell monads theorem-provers types verification by voigt on 2005-10-06 08:30:33 as along with 6 people and 1 group shimomura jimburton greenrd p1738j msakai meiersi SRG_at_UCD
	Haskell on a shared-memory multiprocessor [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 49-61. by Tim Harris, Simon Marlow, Simon Peyton-Jones posted to compilers functional-programming haskell monads by voigt on 2005-10-06 08:28:15 as along with 9 people masteraka hamish jrw tautologico msakai neilc benchambers kazuya brecknell
	Computational lambda-calculus and monads [My Copy] Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23. by E. Moggi posted to category-theory denotational-semantics functional-programming lambda-calculus monads side-effects types by voigt on 2005-10-05 07:37:41 as along with 10 people and 1 group kozima pedagand JeffreyPalmer msakai bonotake dmitri83 aleks EdwardKmett Benja mcclurmc Compilers
	Monadic augment and generalised short cut fusion [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 294-305. by Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene posted to category-theory functional-programming generic-programming haskell monads optimization polymorphism program-transformation rank-2 shortcut-deforestation type-classes types by voigt on 2005-09-28 09:56:19 as along with 2 people msakai wtribbey
	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 continuations functional-programming haskell monads by voigt on 2005-09-28 09:39:20 as along with 4 people and 2 groups greenrd mahler msakai AndreasSchropp Rightscom SRG_at_UCD
	A principled approach to operating system construction in Haskell [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 116-128. by Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach posted to functional-programming haskell monads operating-systems programatica side-effects verification by voigt on 2005-09-28 09:22:49 as along with 6 people and 1 group draganigajic pejo hannes mahler mstone pedagand Rightscom
	The essence of functional programming [My Copy] In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 1-14. by Philip Wadler posted to functional-programming haskell monads side-effects types by voigt on 2005-09-22 08:44:22 as along with 21 people and 3 groups jimburton TobiasAbenius leonardo michaelbanks olegus keigoi pedagand draganigajic assnoodles samth JeffreyPalmer rahul lyongu pintman shilad spl tmiya mstone calvins hayeah frej NU-PRL GroupLens SRL
	Monadic encapsulation in ML [My Copy] In ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 9. (September 1999), pp. 8-17. by Miley Semmelroth, Amr Sabry posted to call-by-value functional-programming ml monads side-effects strict-evaluation types by voigt on 2005-09-21 10:22:56 as along with 1 person and 1 group mahler Rightscom
	What is a purely functional language? [My Copy] Journal of Functional Programming, Vol. 8, No. 1. (January 1998), pp. 1-22. by Amr Sabry posted to call-by-name call-by-need call-by-value functional-programming haskell lambda-calculus monads side-effects by voigt on 2005-09-21 10:16:41 as
	Building compilers by combining algebras [My Copy] Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the (2005), pp. 331-338. by G. Kimmell, E. Komp, P. Alexander posted to dsl embedded-systems functional-programming monads verification by voigt on 2005-09-14 07:59:07 as along with 3 people and 1 group jrw mahler brturn Rightscom
	Monadic regions [My Copy] SIGPLAN Not. In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 103-114. by Matthew Fluet, Greg Morrisett posted to functional-programming haskell monads parametricity polymorphism side-effects types by voigt on 2005-09-13 12:22:01 as along with 4 people and 2 groups JeffreyPalmer zednenem josefs mahler ConcertRG Rightscom
	The Semantic Layers of Timber [My Copy] Lecture Notes in Computer Science, Vol. 2895 (January 2003), pp. 339-356. by Magnus Carlsson, Johan Nordlander, Dick Kieburtz posted to concurrency embedded-systems functional-programming haskell monads objects real-time side-effects by voigt on 2005-09-13 08:26:38 as along with 1 person pejo
	Bridging the gulf: a common intermediate language for ML and Haskell [My Copy] In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 49-61. by Simon Peyton-Jones, Mark Shields, John Launchbury, Andrew Tolmach posted to call-by-need call-by-value functional-programming haskell laziness lazy-evaluation ml monads seq side-effects strict-evaluation by voigt on 2005-09-13 08:23:30 as along with 5 people and 1 group JacquesC JeffreyPalmer rwtodd spl kowey NU-PRL
	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 call-by-value continuations functional-programming ml monads side-effects strict-evaluation types by voigt on 2005-09-12 06:19:37 as along with 7 people and 1 group noam_zeilberger bhoward amp269 twleung dherman JacquesC JeffreyPalmer NU-PRL
	Verifying BDD Algorithms through Monadic Interpretation [My Copy] Lecture Notes in Computer Science, Vol. 2294 (January 2002), 182. by Sava Krstic, John Matthews posted to functional-programming induction-proofs monads side-effects theorem-provers verification by voigt on 2005-09-09 12:50:52 as along with 1 person and 1 group mahler Rightscom

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

functional-programming	108
types	68
haskell	53
polymorphism	31
monads	27
lambda-calculus	23
program-transformation	23
parametricity	21
logical-relations	20
denotational-semantics	19
side-effects	18
free-theorems	17
lazy-evaluation	16
optimization	15
type-classes	15
tree-transducers	14
laziness	13
seq	13
xml	13
accumulating-parameters	11
deforestation	11
generic-programming	11
operational-semantics	11
strict-evaluation	11
call-by-name	10
rank-2	10
selective-strictness	10
call-by-value	8
category-theory	8
ml	8
shortcut-deforestation	8
verification	8
applications	7
call-by-need	7
attribute-grammars	6
continuations	6
pcf	6
circular-programs	5
compilers	5
dsl	5
operating-systems	5
functional-dependencies	4
induction-proofs	4
multiple-traversals	4
subtyping	4
theorem-provers	4
tupling	4
arrows	3
automata	3
dependent-types	3
embedded-systems	3
objects	3
scheme	3
clean	2
linear-logic	2
logic-programming	2
mso-logic	2
nominal-abstract-syntax	2
parallel-programming	2
programatica	2
sequentiality	2
static-analysis	2
bidirectionality	1
complexity-analysis	1
concurrency	1
databases	1
decidability	1
errors	1
exceptions	1
imperative-programming	1
imprecise-errors	1
nondeterminism	1
optimal-reduction	1
quantum-computation	1
real-time	1
streams	1
uniqueness	1
view-update	1

voigt's monads [27 articles] Export

voigt's tags