Group: Lambda the Ultimate - with tag programming [24 articles] Export

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

	[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
	Parameterized Unit Tests [My Copy] by Nikolai Tillmann, Wolfram Schulte, Wolfgang Grieskamp posted to programming testing types by namin to the group Lambda the Ultimate on 2008-08-08 02:52:32 as
	Scrap your type applications [My Copy] by Barry Jay, Simon Peyton-Jones posted to logic programming types by namin to the group Lambda the Ultimate on 2008-07-17 22:55:02 as along with 1 person and 1 group draganigajic functional programming
	Catch me if you can: Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml [My Copy] (2008) posted to exceptions expressivity fsharp functional library ocaml programming by namin to the group Lambda the Ultimate on 2008-07-14 23:06:39 as along with 1 person and 1 group pedagand functional programming
	Higher-Order Logic Programming [My Copy] by Dale Miller posted to data-structures expressivity functional logic programming by namin to the group Lambda the Ultimate on 2008-07-08 22:40:41 as along with 1 group functional programming
	A Nanopass Framework for Compiler Education [My Copy] by R. K. Dybvig, D. Sarkar, O. Waddell posted to compilers functional pearl programming scheme by namin to the group Lambda the Ultimate on 2008-07-05 17:09:17 as along with 1 person and 1 group draganigajic functional programming
	A Sketch of Complete Type Inference for Functional Programming [My Copy] by M. Widera posted to functional programming types by namin to the group Lambda the Ultimate on 2008-06-30 11:07:27 as along with 1 group functional programming
	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
	The Role of Programming in the Formulation of Ideas [My Copy] (2002) by G. J. Sussman, J. Wisdom posted to ai programming theory by namin to the group Lambda the Ultimate on 2008-05-20 21:42:04 as
	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
	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
	Well-Shaped Macros [My Copy] (2003) by R. Culpepper, M. Felleisen posted to dsel macros programming scheme by namin to the group Lambda the Ultimate on 2008-04-11 09:14:56 as
	Implementing DSLs in metaOCaml [My Copy] In OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (2004), pp. 41-42. by Miguel Guerrero, Edward Pizzi, Robert Rosenbaum, Kedar Swadi, Walid Taha posted to dsel ocaml programming by namin to the group Lambda the Ultimate on 2008-04-11 09:08:43 as along with 6 people and 1 group twleung dherman JacquesC hamish JeffreyPalmer lyongu NU-PRL
	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
	Total Functional Programming [My Copy] Journal of Universal Computer Science, Vol. 10, No. 7. (2004), pp. 751-768. by D. A. Turner posted to programming theory by namin to the group Lambda the Ultimate on 2008-04-08 07:58:04 as along with 2 people draganigajic un_brice
	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
	Extensible pattern matching via a lightweight language extension [My Copy] SIGPLAN Not., Vol. 42, No. 9. (September 2007), pp. 29-40. by Don Syme, Gregory Neverov, James Margetson posted to fsharp programming by namin to the group Lambda the Ultimate on 2008-04-01 07:10:41 as along with 2 people jrw tautologico

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

language	147
software	135
functional	123
design	94
languages	62
java	58
web	58
haskell	56
computer	51
book	47
algorithm	46
data-mining	44
c	41
lisp	41
algorithms	39
xml	39
development	37
learning	35
code	33
python	33
reference	33
bioinformatics	32
interaction	32
cplusplus	31
education	31
dynamic	30
hci	30
parallel	30
theory	30
books	29
history	29
genetic	28
logic	28
object-oriented	28
scheme	27
software-engineering	26
cs	25
networking	25
ruby	25
architecture	24
is342	24
linear	24
r	24
databases	23
evolution	23
genetic-programming	23
technical	23
visual	23
dbhack1	22
distributed	22
science	22
read	21
clustering	20
cognitive	20
evolutionary_computation	20
it	20
oop	20
teaching	20
adaptive_computation	19
ant_colony_systems	19
artificial_intelligence	19
artificial_life	19
collective_computing	19
collective_intelligence	19
collective_systems	19
compiler	19
complex_systems	19
cxx	19
distributed_computing	19
genetic_algorithms	19
linux	19
optimization	19
sample	19
self-organization	19
semantics	19
stigmergy	19
swarm_intelligence	19
swarms	19
usability	19
my-books	18
ontology	18
phyloinformatics	18
review	18
model	17
nexml	17
source	17
cpp	16
fetal	16
functional-programming	16
logo	16
mathematics	16
memory	16
patterns	16
systems	16
agile	15
concurrency	15
eb	15
management	15
mathgamespatterns	15
performance	15

Group: Lambda the Ultimate - with tag programming [24 articles] Export

Related Tags