namin's library 58 articles Export

	Algorithm + Strategy = Parallelism [My Copy] Journal of Functional Programming, Vol. 8 (1998), pp. 23-60. by P. W. Trinder, K. Hammond, -W, S. L, Peyton Jones posted to algorithms parallelism strategies by namin on 2008-09-16 05:06:02 as along with 1 person and 2 groups jweslley Lambda the Ultimate functional programming
	A Categorial Manifesto [My Copy] posted to category-theory by namin on 2008-08-08 16:37:31 as along with 3 people and 1 group msakai darinm draganigajic Lambda the Ultimate
	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
	Introduction to Linear Logic [My Copy] by Patrick Lincoln posted to logic by namin on 2008-07-23 22:54:45 as along with 1 person and 1 group draganigajic Lambda the Ultimate
	A Dynamic Extent Control Operator for Partial Continuations [My Copy] In Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages (1991), pp. 174-184. by Christian Queinnec, Bernard Serpette posted to continuations by namin on 2008-07-23 19:45:11 as
	CPS in little pieces: composing partial continuations [My Copy] Journal of Functional Programming, Vol. 12, No. 06. (2002), pp. 617-622. by Daniel P. Friedman, A. M. R. Sabry posted to continuations by namin on 2008-07-23 19:39:42 as
	Partial Continuations as the Difference of Continuations. A Duumvirate of Control Operators [My Copy] by L. Moreau, C. Queinnec posted to continuations by namin on 2008-07-23 19:38:18 as
	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
	Declarative Intraprocedural Flow Analysis of Java Source Code [My Copy] by E. Nilsson-Nyman, G. Hedin, E. Magnusson, E. Torbjörn posted to compilers control-flow-graph data-flow-analysis declarative types by namin on 2008-07-08 23:37:47 as
	Evolutionary Programming and Gradual Typing in ECMAScript 4 (Tutorial) [My Copy] by Lars T. Hansen posted to javascript types by namin on 2008-07-08 23:14:51 as along with 1 person and 1 group draganigajic Lambda the Ultimate
	Towards a Type System for Analyzing JavaScript Programs [My Copy] Programming Languages and Systems (2005), pp. 408-422. by Peter Thiemann posted to compilers javascript types by namin on 2008-07-08 23:12:17 as along with 2 people and 1 group TKAB keigoi Lambda the Ultimate
	Towards Type Inference for JavaScript [My Copy] by C. Anderson, P. Giannini, S. Drossopoulou posted to compilers javascript types by namin on 2008-07-08 23:10:26 as along with 1 group Lambda the Ultimate
	The Design and Implementation of Typed Scheme [My Copy] by S. Tobin-Hochstadt, M. Felleisen posted to compilers scheme types by namin on 2008-07-08 23:07:29 as along with 1 person and 2 groups knopeace functional programming Lambda the Ultimate
	Static Type Inference for Ruby [My Copy] posted to compilers ruby types by namin on 2008-07-08 23:05:14 as
	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
	AMORD: A Deductive Procedure System [My Copy] by Johan Kleer, Jon Doyle, Charles Rich, Guy L. Steele, Gerald J. Sussman posted to 6945 ai knowledge logic by namin on 2008-05-18 09:52:45 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 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
	Conflict-directed A* and Its Role in Model-based Embedded Systems [My Copy] by Brian C. Williams, Robert J. Ragno posted to ai by namin on 2008-05-15 06:11:13 as
	An Outlook on Truth Maintenance [My Copy] (1980) by D. Mcallester posted to 6945 ai by namin on 2008-05-04 12:09:14 as
	Focusing the ATMS [My Copy] by K. Forbus, J. de Kleer posted to 6945 ai by namin on 2008-04-25 07:54:05 as
	Reasoning About Knowledge [My Copy] (1995) by Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi posted to ai knowledge reasoning by namin on 2008-04-14 06:19:22 as
	A scenario of Planning and Debugging in Electronic Circuit Design [My Copy] (1973) by Gerald J. Sussman posted to 6945 ai hacker by namin on 2008-04-12 07:04:00 as
	A Computational Model of Skill Acquisition [My Copy] (1973) by Gerald J. Sussman posted to 6945 ai hacker sussman by namin on 2008-04-12 07:02:58 as
	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
	Introduction to Lambda Calculus [My Copy] In Aspen\aes Workshop on Implementation of Functional Languages, G\"oteborg (1988) by H. P. Barendregt posted to lambda-calculus theory by namin on 2008-04-10 22:50:42 as along with 17 people and 2 groups GorgeousNicko statistic01 yoriyuki pedagand darinm draganigajic JeffreyPalmer yallop pintman glaubersp robertoalamino biehl mvermaat d23 SamB enochguimond MikolkaMikolka Lambda the Ultimate logics of knowledge
	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
	Monadic Parsing in Haskell [My Copy] Journal of Functional Programming, Vol. 8, No. 4. (1998) by Graham Hutton, Erik Meijer posted to compilers haskell monads parsers by namin on 2008-04-04 10:44:30 as along with 7 people and 1 group draganigajic jrw zednenem damaru msakai bunge cognominal 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

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

Result page: 1 2 Next

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 library 58 articles Export

namin's tags