namin's programming [31 articles] Export

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

	Parameterized Unit Tests [My Copy] by Nikolai Tillmann, Wolfram Schulte, Wolfgang Grieskamp posted to programming testing types by namin on 2008-08-08 02:52:32 as along with 1 group Lambda the Ultimate
	Scrap your type applications [My Copy] by Barry Jay, Simon Peyton-Jones posted to logic programming types by namin on 2008-07-17 22:55:02 as along with 1 person and 2 groups draganigajic functional programming Lambda the Ultimate
	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 on 2008-07-14 23:06:39 as along with 1 person and 2 groups pedagand functional programming Lambda the Ultimate
	Higher-Order Logic Programming [My Copy] by Dale Miller posted to data-structures expressivity functional logic programming by namin on 2008-07-08 22:40:40 as along with 2 groups functional programming Lambda the Ultimate
	Sparse Bidirectional Data Flow Analysis as a Basis for Type Inference [My Copy] (2004) by J. Singer posted to compilers programming types by namin on 2008-07-08 00:39:41 as
	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 on 2008-07-05 17:09:16 as along with 1 person and 2 groups draganigajic functional programming Lambda the Ultimate
	A Sketch of Complete Type Inference for Functional Programming [My Copy] by M. Widera posted to functional programming types by namin on 2008-06-30 11:07:27 as along with 2 groups functional programming Lambda the Ultimate
	Hardware Design and Functional Programming: a Perfect Match [My Copy] (2005) by M. Sheeran posted to functional hardware haskell meng programming vhdl by namin on 2008-06-30 11:06:08 as along with 2 people and 2 groups dimvar miteshjain functional programming Lambda the Ultimate
	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 on 2008-06-27 23:47:15 as along with 1 person and 2 groups draganigajic functional programming Lambda the Ultimate
	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 on 2008-06-27 23:30:06 as along with 5 people and 3 groups dherman eaubin JacquesC zednenem EdwardKmett NU-PRL functional programming Lambda the Ultimate
	Why programming is a good medium for expressing poorly understood and sloppily-formulated ideas [My Copy] by Marvin Minsky posted to ai expressivity ideas programming by namin on 2008-05-23 04:46:26 as
	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 on 2008-05-20 21:42:04 as along with 1 group Lambda the Ultimate
	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 on 2008-05-18 08:03:16 as along with 1 person and 1 group draganigajic Lambda the Ultimate
	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 on 2008-05-18 07:33:31 as along with 22 people and 4 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 Lambda the Ultimate
	Template meta-programming for haskell [My Copy] (2002) by T. Sheard, S. Jones posted to dsel haskell programming by namin on 2008-04-11 09:17:50 as along with 4 people and 2 groups draganigajic twleung greenrd cedricboidin SRG_at_UCD Lambda the Ultimate
	Well-Shaped Macros [My Copy] (2003) by R. Culpepper, M. Felleisen posted to dsel macros programming scheme by namin on 2008-04-11 09:14:56 as along with 1 group Lambda the Ultimate
	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 on 2008-04-11 09:08:43 as along with 6 people and 2 groups twleung dherman JacquesC hamish JeffreyPalmer lyongu NU-PRL Lambda the Ultimate
	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 on 2008-04-11 08:46:16 as along with 2 people and 1 group draganigajic pedagand Lambda the Ultimate
	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 on 2008-04-11 08:33:00 as along with 1 group Lambda the Ultimate
	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire [My Copy] In Proceedings 5th ACM Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'91, Cambridge, {MA}, {USA}, 26--30 Aug 1991, Vol. 523 (1991), pp. 124-144. by Erik Meijer, Maarten Fokkinga, Ross Paterson edited by J. Hughes posted to haskell lambda-calculus programming theory by namin on 2008-04-11 06:04:49 as along with 31 people and 4 groups ama08r ddemange pirapira ariels draganigajic rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy dhag Porges conal cdiggins mmarcus jimburton dvgb jkominek pedagand SRL SRG_at_UCD complogic Lambda the Ultimate
	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 on 2008-04-11 04:59:03 as along with 2 people and 1 group draganigajic bringert Lambda the Ultimate
	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 on 2008-04-11 04:53:52 as along with 4 people and 1 group draganigajic jburnim lomeo bringert Lambda the Ultimate
	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 on 2008-04-08 07:58:03 as along with 2 people and 1 group draganigajic un_brice Lambda the Ultimate
	Truth Maintenance Systems for Problem Solving [My Copy] (1978) by Jon Doyle posted to 6945 ai programming by namin on 2008-04-08 04:29:07 as
	Probabilistic Functional Programming in Haskell [My Copy] by M. Erwig, S. Kollmansberger posted to haskell probability programming by namin on 2008-04-06 08:40:48 as along with 1 person and 1 group draganigajic Lambda the Ultimate
	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 on 2008-04-06 08:37:12 as along with 5 people and 2 groups mattmight draganigajic dherman jrw donniejones18 NU-PRL Lambda the Ultimate
	Fast, Error Correcting Parser Combinators: A Short Tutorial [My Copy] by Doaitse S. Swierstra, Pablo posted to haskell monads parsers programming by namin on 2008-04-04 11:06:24 as
	The Zipper [My Copy] Journal of Functional Programming, Vol. 7, No. 05. (September 1997), pp. 549-554. by Gerard Huet posted to data-structures programming by namin on 2008-04-04 10:53:03 as along with 10 people and 2 groups jcreed robertjohnsimmons dimvar draganigajic yallop kowey jonathlela pedagand mcclurmc sclv functional programming Lambda the Ultimate
	An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming [My Copy] by Jonathan M. D. Hill, Keith Clarke posted to category-theory monads programming by namin on 2008-04-03 11:39:04 as along with 11 people and 1 group pirapira algorithmic draganigajic ansobol jrw zednenem proportional jutaro glaubersp mathcoq ps_ttf Lambda the Ultimate
	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 on 2008-04-01 07:10:40 as along with 2 people and 1 group jrw tautologico Lambda the Ultimate
	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 programming by namin on 2008-03-18 07:40:55 as along with 1 group Lambda the Ultimate

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

programming	31
haskell	16
ai	10
types	10
compilers	8
meng	7
6945	6
dsel	6
microfluidic	6
fsharp	5
functional	5
logic	5
monads	5
ocaml	5
theory	5
category-theory	3
continuations	3
data-structures	3
dsl	3
expressivity	3
javascript	3
lambda-calculus	3
parsers	3
scheme	3
declarative	2
hacker	2
knowledge	2
probability	2
algorithms	1
control-flow-graph	1
data-flow-analysis	1
exceptions	1
hardware	1
ideas	1
kanren	1
library	1
macros	1
parallelism	1
pearl	1
prolog	1
reasoning	1
ruby	1
strategies	1
sussman	1
testing	1
vhdl	1
zipper	1

namin's programming [31 articles] Export

namin's tags