Group: Lambda the Ultimate - with tag haskell [27 articles] Export

Recent papers posted by members of the Lambda the Ultimate group with tag haskell

	[duplicate] DSL Implementation in MetaOCaml, Template Haskell, and C++ [My Copy] (2004) by K. Czarnecki, J. O'Donnel, J. Striegnitz, W. Taha posted to dsel dsl haskell ocaml programming by jimburton to the group Lambda the Ultimate on 2008-08-31 20:36:13 as along with 1 person draganigajic
	Hardware Design and Functional Programming: a Perfect Match [My Copy] (2005) by M. Sheeran posted to functional hardware haskell meng programming vhdl by namin to the group Lambda the Ultimate on 2008-06-30 11:06:08 as along with 2 people and 1 group dimvar miteshjain functional programming
	Embedding an Interpreted Language Using Higher-Order Functions and Types [My Copy] by N. Ramsey posted to dsel dsl fsharp haskell ocaml programming by namin to the group Lambda the Ultimate on 2008-06-27 23:47:15 as along with 1 person and 1 group draganigajic functional programming
	Linear Contexts and the Sharing Functor: Techniques for Symbolic Computation [My Copy] by G. Huet posted to data-structures fsharp haskell ocaml programming zipper by namin to the group Lambda the Ultimate on 2008-06-27 23:30:06 as along with 5 people and 2 groups dherman eaubin JacquesC zednenem EdwardKmett NU-PRL functional programming
	Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl) [My Copy] (April 2008) by O. Kiselyov, W. E. Byrd, D. P. Friedman, C. Shan posted to declarative dsel dsl haskell kanren logic programming prolog by namin to the group Lambda the Ultimate on 2008-05-18 08:03:17 as along with 1 person draganigajic
	Monads for functional programming [My Copy] In Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School (1993) by Philip Wadler edited by ~broy posted to category-theory haskell monads programming theory by namin to the group Lambda the Ultimate on 2008-05-18 07:33:32 as along with 22 people and 3 groups jimburton jweslley draganigajic JeffreyPalmer cedricboidin grzegorz jburnim rahul damaru ben_moseley bunge glaubersp mingguo ds conal ariels cdiggins hayeah SamB mmarcus americovargas pedagand SRL SIG functional programming
	First class modules for Haskell [My Copy] (2002) by M. Shields, S. Jones posted to haskell modules by tautologico to the group Lambda the Ultimate on 2008-04-14 23:34:31 as along with 1 person draganigajic
	Template meta-programming for haskell [My Copy] (2002) by T. Sheard, S. Jones posted to dsel haskell programming by namin to the group Lambda the Ultimate on 2008-04-11 09:17:50 as along with 4 people and 1 group draganigajic twleung greenrd cedricboidin SRG_at_UCD
	Calculating Functional Programs [My Copy] In Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2000), pp. 149-202. by Jeremy Gibbons posted to haskell programming by namin to the group Lambda the Ultimate on 2008-04-11 08:46:16 as along with 2 people draganigajic pedagand
	DSL Implementation in MetaOCaml, Template Haskell, and C++ [My Copy] (2004) by K. Czarnecki, J. O'Donnel, J. Striegnitz, W. Taha posted to dsel dsl haskell ocaml programming by namin to the group Lambda the Ultimate on 2008-04-11 08:33:00 as
	Generic Programming, Now! [My Copy] In Spring School on Generic Programming (April 2006) by Ralf Hinze, Andres Löh edited by Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring posted to haskell programming by namin to the group Lambda the Ultimate on 2008-04-11 04:59:03 as along with 2 people draganigajic bringert
	Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming [My Copy] In TLDT03 (2003) by Ralf Lämmel, Simon P. Jones posted to haskell programming by namin to the group Lambda the Ultimate on 2008-04-11 04:53:52 as along with 4 people draganigajic jburnim lomeo bringert
	Probabilistic Functional Programming in Haskell [My Copy] by M. Erwig, S. Kollmansberger posted to haskell probability programming by namin to the group Lambda the Ultimate on 2008-04-06 08:40:48 as along with 1 person draganigajic
	Packrat Parsing: Simple, Powerful, Lazy, Linear Time [My Copy] In Proceedings of the 2002 International Conference on Functional Programming (Oct 2002) by Bryan Ford posted to haskell parsers programming by namin to the group Lambda the Ultimate on 2008-04-06 08:37:12 as along with 5 people and 1 group mattmight draganigajic dherman jrw donniejones18 NU-PRL
	Monadic Parsing in Haskell [My Copy] Journal of Functional Programming, Vol. 8, No. 4. (1998) by Graham Hutton, Erik Meijer posted to compilers functional-programming haskell monads parsers by namin to the group Lambda the Ultimate on 2008-04-04 10:44:30 as along with 7 people draganigajic jrw zednenem damaru msakai bunge cognominal
	Stochastic lambda calculus and monads of probability distributions [My Copy] In Symposium on Principles of Programming Languages (2002), pp. 154-165. by Norman Ramsey, Avi Pfeffer posted to fsharp haskell lambda-calculus monads probability by namin to the group Lambda the Ultimate on 2008-03-18 07:40:55 as
	A Monadic Framework for Delimited Continuations [My Copy] Vol. 615 (June 2005) by Kent Dybvig, Simon P. Jones, Amr Sabry posted to continuations haskell scheme by mcclurmc to the group Lambda the Ultimate on 2008-03-07 17:44:30 as
	Adventures in Classical-Land [My Copy] The Monad.Reader, No. 6. (2006) by D. Piponi, C. Mcbride posted to curry-howard haskell by jimburton to the group Lambda the Ultimate on 2008-02-26 22:23:06 as along with 1 person draganigajic
	Generalizing generalized tries [My Copy] Journal of Functional Programming, Vol. 10, No. 4. (2000), pp. 327-351. by Ralf Hinze posted to functional-programming haskell by jimburton to the group Lambda the Ultimate on 2008-02-26 22:20:06 as along with 1 person americovargas
	Type Classes with Functional Dependencies [My Copy] Lecture Notes in Computer Science, Vol. 1782 (2000) by Mark P. Jones posted to functional-programming haskell by jimburton to the group Lambda the Ultimate on 2008-02-26 22:19:37 as along with 10 people and 2 groups draganigajic twleung dherman greenrd cedricboidin msakai bonotake tov calvins BMeph NU-PRL SRG_at_UCD
	Phantom types [My Copy] (2003) by J. Cheney, R. Hinze posted to functional-programming haskell type-theory by jimburton to the group Lambda the Ultimate on 2008-02-26 22:17:39 as along with 3 people draganigajic keigoi tov
	First-Class Phantom Types [My Copy] (2003) by James Cheney, Ralf Hinze posted to functional-programming haskell type-theory by jimburton to the group Lambda the Ultimate on 2008-02-26 22:17:16 as along with 2 people draganigajic jsiek
	Total Functional Programming [My Copy] Journal of Universal Computer Science, Vol. 10, No. 7. (2004), pp. 751-768. by D. A. Turner posted to functional-programming haskell by jimburton to the group Lambda the Ultimate on 2008-02-26 22:16:49 as along with 3 people pedagand mstone robotact
	Faking it: Simulating dependent types in Haskell [My Copy] Journal of Functional Programming, Vol. 12, No. 5. (2002), pp. 375-392. by C. Mcbride posted to dependent-types functional-programming haskell by jimburton to the group Lambda the Ultimate on 2008-02-26 22:15:46 as
	Lightweight Static Capabilities [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 174, No. 7. (2007), pp. 79-104. by O. Kiselyov, C. Shan posted to dependent-types haskell program_verification by jimburton to the group Lambda the Ultimate on 2008-02-26 13:02:31 as along with 1 person draganigajic
	Position: Lightweight Static Resources [My Copy] In Trends in Functional Programming 2007, No. 8. (April 2007) by O. Kiselyov, C. Shan posted to dependent-types haskell program_verification by jimburton to the group Lambda the Ultimate on 2008-02-26 13:00:15 as along with 1 person draganigajic
	Foundations for structured programming with GADTs [My Copy] SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 297-308. by Patricia Johann, Neil Ghani posted to categories haskell theory by hellige to the group Lambda the Ultimate on 2008-02-26 00:15:30 as along with 6 people ama08r talototo spl draganigajic msakai jimburton

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

functional-programming	148
monads	111
types	79
type-classes	74
functional	61
concurrency	56
programming	56
generics	41
category-theory	31
generic-programming	31
dsl	29
polymorphism	28
laziness	26
pl	25
compilers	24
languages	23
computation	22
optimization	22
dependent-types	20
typeclasses	20
dsel	19
program-transformation	18
type-theory	18
datatype-generic	17
lazy-evaluation	17
algorithms	16
functionalprogramming	16
ml	16
monad	16
fp	14
free-theorems	13
parametricity	13
semantics	13
combinators	12
frp	12
seq	12
arrows	11
compiler	11
deforestation	11
functional-dependencies	11
ghc	11
metaprogramming	11
type	11
formal-methods	10
logic-programming	10
logical-relations	10
rank-2	10
records	10
stm	10
icfp08	9
lava	9
p-logic	9
parallel	9
reactive	9
selective-strictness	9
type-inference	9
denotational-semantics	8
extensibility	8
gadts	8
language	8
multilang	8
printed	8
shortcut-deforestation	8
strict-evaluation	8
syb	8
testing	8
verification	8
algorithm	7
comonads	7
data-structures	7
hdl	7
lambda-calculus	7
logic-design	7
modules	7
side-effects	7
template-haskell	7
theory	7
applications	6
expression-problem	6
functional-reactive-programming	6
functional-state	6
fundeps	6
implicit-context	6
macros	6
mathematics	6
meta-programming	6
monadic-translators	6
operating-systems	6
parsers	6
parsing	6
polytypic	6
submit-incremental	6
typing	6
domain-specific-languages	5
general-bib	5
gui	5
os	5
security	5
unification	5
web	5

Group: Lambda the Ultimate - with tag haskell [27 articles] Export

Related Tags