Group: functional programming - library 29 articles Export

	Design Patterns for Simulations in Erlang/OTP [My Copy] by Ulf Ekström posted to functional erlang by puzza to the group functional programming on 2009-11-21 22:48:25 as along with 4 people and 1 group camster twleung JeffreyPalmer lcoquelle dbk-lab
	A Principled Approach to Version Control [My Copy] by Andres Löh, Wouter Swierstra, Daan Leijen posted to version-control by SamB to the group functional programming on 2009-08-27 04:04:12 as
	NFAs with Tagged Transitions, their Conversion to Deterministic Automata and Application to Regular Expressions [My Copy] In In Proceedings of the 7th International Symposium on String Processing and Information Retrieval (2000), pp. 181-187. by Ville Laurikari posted to regexps nfas dfas by SamB to the group functional programming on 2009-08-23 17:56:40 as
	Derivatives of regular expressions [My Copy] Journal of the ACM, Vol. 11 (1964), pp. 481-494. by Janusz A. Brzozowski posted to calculus regexps by SamB to the group functional programming on 2009-04-01 23:27:30 as
	Martin-Löf's Type Theory [My Copy] In The Handbook of Logic in Computer Science, Vol. 5 (October 2000) by B. Nordström, K. Petersson, J. M. Smith posted to dependent-types logic type-theory by jimburton to the group functional programming on 2009-03-28 23:10:08 as along with 1 person and 1 group kontakte Lambda the Ultimate
	Typing Haskell in Haskell [My Copy] (1999) by M. Jones posted to algorithm compilers functional-programming haskell type-inference types by SamB to the group functional programming on 2009-02-21 23:37:31 as along with 4 people draganigajic dtim cdiggins pedagand
	nhc: a space-efficient Haskell compiler [My Copy] by Niklas Röjemo posted to compilers functional-programming haskell by SamB to the group functional programming on 2009-02-12 14:06:49 as
	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 to the group functional programming on 2008-09-16 05:06:02 as along with 1 person and 1 group jweslley Lambda the Ultimate
	Scrap your type applications [My Copy] by Barry Jay, Simon Peyton-Jones posted to logic programming types by namin to the group functional programming on 2008-07-17 22:55:02 as along with 1 person and 1 group draganigajic 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 to the group functional programming on 2008-07-14 23:06:39 as along with 1 person and 1 group pedagand Lambda the Ultimate
	Algorithms For Symbolic Linear Convolution [My Copy] by Brian L. Evans, James H. Mcclellan posted to algorithm calculus convolution by SamB to the group functional programming on 2008-07-11 18:44:00 as
	The Design and Implementation of Typed Scheme [My Copy] by S. Tobin-Hochstadt, M. Felleisen posted to compilers scheme types by namin to the group functional programming on 2008-07-08 23:07:29 as along with 1 person and 1 group knopeace Lambda the Ultimate
	Higher-Order Logic Programming [My Copy] by Dale Miller posted to data-structures expressivity functional logic programming by namin to the group functional programming on 2008-07-08 22:40:40 as along with 1 group Lambda the Ultimate
	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 functional programming on 2008-07-05 17:09:17 as along with 1 person and 1 group draganigajic Lambda the Ultimate
	A Sketch of Complete Type Inference for Functional Programming [My Copy] by M. Widera posted to functional programming types by namin to the group functional programming on 2008-06-30 11:07:27 as along with 1 group 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 to the group functional programming on 2008-06-30 11:06:08 as along with 2 people and 1 group dimvar miteshjain 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 to the group functional programming on 2008-06-27 23:47:15 as along with 1 person and 1 group draganigajic 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 to the group functional programming on 2008-06-27 23:30:06 as along with 5 people and 2 groups dherman eaubin JacquesC zednenem EdwardKmett NU-PRL Lambda the Ultimate
	Making a Fast Curry [My Copy] by Push E. Vs posted to compilers functional-programming ghc haskell rts by SamB to the group functional programming on 2008-05-25 03:30:18 as along with 3 people draganigajic cdiggins sclv
	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 functional programming 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 Lambda the Ultimate
	The Zipper [My Copy] Journal of Functional Programming, Vol. 7, No. 05. (September 1997), pp. 549-554. by T. GÉRARD HUE posted to f functional-pearl functional-programming by mcclurmc to the group functional programming on 2007-12-14 15:04:42 as along with 10 people and 1 group jcreed robertjohnsimmons dimvar draganigajic yallop kowey jonathlela pedagand namin sclv Lambda the Ultimate
	Proofs are Programs: 19th Century Logic and 21st Century Computing [My Copy] (November 2000) by Philip Wadler posted to curry-howard functional-programming theory by mcclurmc to the group functional programming on 2007-12-13 16:32:10 as along with 2 people draganigajic SamB
	A first-order one-pass CPS transformation [My Copy] Theor. Comput. Sci., Vol. 308, No. 1-3. (2003), pp. 239-257. by Olivier Danvy, Lasse R. Nielsen posted to cps functional-programming transformations by mcclurmc to the group functional programming on 2007-12-13 16:25:34 as along with 4 people and 1 group dimvar jweslley dalev mvermaat NU-PRL
	Why Functional Programming Matters [My Copy] Computer Journal, Vol. 32, No. 2. (1989), pp. 98-107. by J. Hughes posted to functional-programming by mcclurmc to the group functional programming on 2007-12-13 15:43:14 as along with 9 people jweslley pedagand draganigajic joelh lomeo pilho calvins sclv jpbernardy
	Modular attribute grammars [My Copy] Comput. J., Vol. 33, No. 2. (April 1990), pp. 164-172. by G. D. P. Dueck, G. V. Cormack posted to functional-programming by mcclurmc to the group functional programming on 2007-12-13 15:39:22 as along with 3 people draganigajic mbravenboer mmuecke
	The Why of Y [My Copy] (3 February 2001) by Richard P. Gabriel posted to functional-programming scheme theory by mcclurmc to the group functional programming on 2007-12-13 15:19:09 as along with 1 person draganigajic
	A tutorial on the universality and expressiveness of fold [My Copy] J. Funct. Program., Vol. 9, No. 4. (July 1999), pp. 355-372. by Graham Hutton posted to functional-programming haskell by mcclurmc to the group functional programming on 2007-12-13 15:09:03 as along with 4 people and 1 group robertjohnsimmons pedagand draganigajic jimburton ConcertRG
	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 functional-programming haskell monads by mcclurmc to the group functional programming on 2007-12-13 15:07:11 as along with 3 people gakincho draganigajic vlasovskikh
	A Gentle Introduction to Haskell [My Copy] (October 1999) by Paul Hudak, John Peterson, Joseph Fasel posted to haskell tutorial by mcclurmc to the group functional programming on 2007-12-13 14:22:47 as along with 2 people michaelbanks draganigajic

Note: You may cite this page as: http://www.citeulike.org/group/3445

functional-programming	11
haskell	10
programming	9
functional	6
compilers	5
types	4
fsharp	3
logic	3
ocaml	3
scheme	3
theory	3
algorithm	2
calculus	2
data-structures	2
expressivity	2
monads	2
regexps	2
algorithms	1
category-theory	1
convolution	1
cps	1
curry-howard	1
dependent-types	1
dfas	1
dsel	1
dsl	1
erlang	1
exceptions	1
f	1
functional-pearl	1
ghc	1
hardware	1
library	1
meng	1
nfas	1
parallelism	1
pearl	1
rts	1
strategies	1
transformations	1
tutorial	1
type-inference	1
type-theory	1
version-control	1
vhdl	1
zipper	1

Group: functional programming - library 29 articles Export

Group Tags