Tag functional_programming [27 articles] Export

Recent papers classified by the tag functional_programming.

	Extensible programming with first-class cases [My Copy] SIGPLAN Not. In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming, Vol. 41, No. 9. (2006), pp. 239-250. by Matthias Blume, Umut A. Acar, Wonseok Chae posted to pattern_matching functional_programming by fgeller on 2009-10-20 10:52:34 as along with 2 people and 1 group tov RalfMitschke ConcertRG
	Plugging a Space Leak with an Arrow [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 193 (2007), pp. 29-45. by Hai Liu, Paul Hudak posted to reactive_programming functional_programming functional_pearl by fgeller on 2009-10-15 12:45:14 as
	Conception, evolution, and application of functional programming languages [My Copy] ACM Comput. Surv., Vol. 21, No. 3. (September 1989), pp. 359-411. by Paul Hudak posted to referential_transparency obp5 obp3 immutability functional_programming by michalpise on 2009-10-14 07:58:07 as along with 3 people and 1 group shilad chandlerc alphabetagamma GroupLens
	Church’s Thesis and Functional Programming [My Copy] In Church's Thesis After 70 Years (28 February 2007), pp. 518-544. by David Turner edited by Adam Olszewski, Jan Wolenski, Robert Janusz posted to programming mathematical_logic lambda_calculus functional_programming by badi on 2009-09-27 05:09:49 as along with 2 people bunge mvermaat
	Polymorphic typed defunctionalization [My Copy] In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 39, No. 1. (January 2004), pp. 89-98. by François Pottier, Nadji Gauthier posted to functional_programming defunctionalization by bulwahn on 2009-09-24 16:54:25 as along with 1 person jespera
	Defunctionalization at work [My Copy] In PPDP '01: Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (2001), pp. 162-174. by Olivier Danvy, Lasse R. Nielsen posted to functional_programming defunctionalization by bulwahn on 2009-09-24 16:52:21 as along with 4 people neelk eaubin jespera pedagand
	Compilation by Transformation in Non-Strict Functional Languages [My Copy] (1995) by André posted to functional_programming by bulwahn on 2009-09-24 15:06:55 as
	Monads for Functional Programming [My Copy] In Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text (1995), pp. 24-52. by Philip Wadler posted to monads functional_programming by bfraser on 2009-09-21 19:52:58 as
	How to replace failure by a list of successes a method for exception handling, backtracking, and pattern matching in lazy functional languages [My Copy] Functional Programming Languages and Computer Architecture (1985), pp. 113-128. by Philip Wadler posted to functional_programming monads by bulwahn on 2009-07-08 10:52:08 as along with 2 people spl michaelbanks
	Comprehending Monads [My Copy] In Mathematical Structures in Computer Science, Vol. 2 (1992), pp. 61-78. by Philip Wadler posted to functional_programming monads by bulwahn on 2009-07-08 10:40:39 as along with 1 person fvogels
	The Essence of Functional Programming [My Copy] (1992), pp. 1-14. by Philip Wadler posted to functional_programming monads by bulwahn on 2009-07-08 10:37:37 as
	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 functional_programming monads by bulwahn on 2009-07-08 10:27:23 as along with 7 people and 1 group eaubin JacquesC rwtodd cedricboidin oliverh bfraser pile NU-PRL
	Composing Monads [My Copy] (1993) by Mark P. Jones, Luc Duponcheel posted to functional_programming monads by bulwahn on 2009-07-08 10:23:51 as
	Combining Monads [My Copy] In Proceedings of the 1992 Glasgow Workshop on Functional Programming (1993), pp. 134-143. by David J. King, Philip Wadler posted to functional_programming monads by bulwahn on 2009-07-08 10:20:40 as along with 2 people christiankissig pile
	Composing monads using coproducts [My Copy] SIGPLAN Not. In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 133-144. by Christoph Lüth, Neil Ghani posted to functional_programming monads by bulwahn on 2009-07-08 10:11:48 as along with 4 people and 2 groups christiankissig mstone rgb pedagand pileWorks Lambda the Ultimate
	Functional Programming with Apomorphisms [My Copy] In In 9th Nordic Workshop on Programming Theory (1997) by Varmo Vene, Tarmo Uustalu posted to category_theory functional_programming by christiankissig on 2008-10-31 09:19:42 as
	An introduction to partial evaluation [My Copy] ACM Comput. Surv., Vol. 28, No. 3. (September 1996), pp. 480-503. by Neil D. Jones posted to functional_programming by alphabetagamma on 2008-04-21 14:40:43 as along with 3 people myui JeffreyPalmer tautologico
	Efficient Graph Algorithms Using Lazy Monolithic Arrays [My Copy] Journal of Functional Programming, Vol. 8, No. 4. (1998), pp. 323-333. by Thomas Johnsson posted to algorithm functional_programming graph lazy by wnoise on 2008-02-27 07:49:07 as
	Putting curry-howard to work [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 74-85. by Tim Sheard posted to curry-howard functional_programming programming_languages by robotact on 2008-02-10 13:00:56 as along with 13 people and 3 groups Scis0000002 fvogels draganigajic greenrd plaugg yallop thsutton voigt mahler KarlKlose mcclurmc jimburton americovargas Rightscom SRG_at_UCD Lambda the Ultimate
	A history of Haskell: being lazy with class [My Copy] In HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languages (2007) by Paul Hudak, John Hughes, Simon P. Jones, Philip Wadler posted to functional_programming haskell lazy_evaluation type-classes type_systems by Leho on 2007-12-26 12:38:30 as along with 1 person chandlerc
	Building domain-specific embedded languages [My Copy] ACM Computing Surveys, Vol. 28, No. 4es. (December 1996), 196. by Paul Hudak posted to dsel dsl functional_programming interpreter language monads by mldechert on 2007-07-17 14:51:11 as along with 8 people cblock jacob hamish JeffreyPalmer cedricboidin brady mcclurmc RalfMitschke
	Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs [My Copy] Commun. ACM, Vol. 21, No. 8. (August 1978), pp. 613-641. by John Backus posted to algebra architecture backus computing-history cpu functional functional_programming importance--seminal memory pointfree programming review transactional von-neumann by Guff32 on 2007-03-21 12:10:06 as along with 12 people brothers amp269 draganigajic pedagand egh creswick joost spl mrsmond mdekruijf artur bendiken
	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 category-theory functional_programming by creswick on 2007-03-19 15:48:04 as along with 31 people and 2 groups mahler puzza hellige rgrig JeffreyPalmer Darius rwtodd jrw cedricboidin zednenem 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
	Comparing Id and Haskell in a Monte Carlo Photon Transport Code [My Copy] Journal of Functional Programming, Vol. 5, No. 3. (1995), pp. 283-316. by J. P. Hammes, O. Lubeck, A. P. W. Böhm posted to functional_programming haskell montecarlo by madhadron on 2006-09-01 01:56:17 as
	Foundations for Programming Languages (Foundations of Computing) [My Copy] (01 September 1996) by John C. Mitchell posted to denotational_semantics functional_programming operational_semantics types by Malcohol on 2006-04-24 11:38:02 as along with 3 people robotact voigt kontakte
	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 by lyongu on 2005-10-12 07:32:49 as along with 21 people and 3 groups jimburton TobiasAbenius leonardo michaelbanks olegus keigoi pedagand draganigajic assnoodles samth JeffreyPalmer rahul voigt pintman shilad spl tmiya mstone calvins hayeah frej NU-PRL GroupLens SRL
	Code reuse through polymorphic variants [My Copy] (2000) by J. Garrigue posted to functional_programming ocaml by lyongu on 2005-10-12 07:29:49 as along with 3 people and 1 group dherman hellige JeffreyPalmer NU-PRL

Note: You may cite this page as: http://www.citeulike.org/tag/functional_programming

monads	9
programming	3
defunctionalization	2
haskell	2
algebra	1
algorithm	1
architecture	1
backus	1
category-theory	1
category_theory	1
computing-history	1
cpu	1
curry-howard	1
denotational_semantics	1
dsel	1
dsl	1
functional	1
functional_pearl	1
graph	1
immutability	1
importance--seminal	1
interpreter	1
lambda_calculus	1
language	1
lazy	1
lazy_evaluation	1
mathematical_logic	1
memory	1
montecarlo	1
obp3	1
obp5	1
ocaml	1
operational_semantics	1
pattern_matching	1
pointfree	1
programming_languages	1
reactive_programming	1
referential_transparency	1
review	1
transactional	1
type-classes	1
type_systems	1
types	1
von-neumann	1

Tag functional_programming [27 articles] Export

Related Tags