SamB's library 37 articles Export

	A Principled Approach to Version Control [My Copy] by Andres Löh, Wouter Swierstra, Daan Leijen posted to version-control by SamB on 2009-08-27 04:04:12 as along with 1 group functional programming
	Programming Techniques: Regular expression search algorithm [My Copy] Commun. ACM, Vol. 11, No. 6. (June 1968), pp. 419-422. by Ken Thompson posted to regexps by SamB on 2009-08-23 21:38:25 as along with 2 people mitake maggesi
	NFAs with Tagged Transitions, their Conversion to Deterministic Automata and Application to Regular Expressions [My Copy] In Proceedings of the 7th International Symposium on String Processing and Information Retrieval (2000), pp. 181-187. by Ville Laurikari posted to string regexps nfas dfas by SamB on 2009-08-23 17:56:40 as along with 1 group functional programming
	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 on 2009-04-01 23:27:29 as along with 1 group functional programming
	What Every Computer Scientist Should Know About Floating Point Arithmetic [My Copy] ACM Computing Surveys, Vol. 23, No. 1. (1991), pp. 5-48. by David Goldberg posted to arithmatic floating-point by SamB on 2009-03-28 02:37:00 as
	Typing Haskell in Haskell [My Copy] (1999) by M. Jones posted to algorithm compilers functional-programming haskell type-inference types by SamB on 2009-02-21 23:37:31 as along with 4 people and 1 group draganigajic dtim cdiggins pedagand functional programming
	Deschooling Society [My Copy] by Ivan Illich posted to education by SamB on 2009-02-21 23:31:50 as along with 4 people and 4 groups yish hanspoldoja tystl boltmwj1 mathgamespatterns dtl vds-arg eni
	nhc: a space-efficient Haskell compiler [My Copy] by Niklas Röjemo posted to compilers functional-programming haskell by SamB on 2009-02-12 14:06:49 as along with 1 group functional programming
	Algorithms For Symbolic Linear Convolution [My Copy] by Brian L. Evans, James H. Mcclellan posted to algorithm calculus convolution by SamB on 2008-07-11 18:44:00 as along with 1 group functional programming
	How real are real numbers? [My Copy] (24 November 2004) by G. J. Chaitin posted to no-tag by SamB on 2008-05-26 01:14:17 as along with 13 people and 2 groups qwermish sourada mafwood A_Olympia DineshGaitonde jrw ChaTo xtizon proportional BrendaChng scis0000001 jimburton watson Philosophy_of_Information Blog_and_Wiki_Research
	Making a Fast Curry [My Copy] by Push E. Vs posted to compilers functional-programming ghc haskell rts by SamB on 2008-05-25 03:30:18 as along with 3 people and 1 group draganigajic cdiggins sclv functional programming
	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 SamB on 2008-05-10 05:56:06 as along with 2 people and 1 group draganigajic mcclurmc functional programming
	Formalization of a lambda-Calculus with Explicit Substitutions in Coq [My Copy] by Amokrane Saïbi posted to no-tag by SamB on 2008-04-24 01:21:56 as
	The Impact of the Lambda Calculus on Logic and Computer Science [My Copy] Bulletin of Symbolic Logic, Vol. 3, No. 3. (1997), pp. 181-215. by Henk Barendregt posted to functional-programming lambda-calculus model by SamB on 2008-04-23 21:02:04 as along with 3 people and 1 group dherman ds robotact NU-PRL
	Introduction to Lambda Calculus [My Copy] In Aspen\aes Workshop on Implementation of Functional Languages, G\"oteborg (1988) by H. P. Barendregt posted to functional-programming lambda-calculus model by SamB on 2008-04-23 20:50:06 as along with 17 people and 2 groups GorgeousNicko statistic01 yoriyuki pedagand darinm draganigajic JeffreyPalmer yallop pintman glaubersp robertoalamino biehl namin mvermaat d23 enochguimond MikolkaMikolka Lambda the Ultimate logics of knowledge
	The derivative of a regular type is its type of one-hole contexts [My Copy] (2001) by C. Mcbride posted to algebraic-data-types functional-programming types zippers by SamB on 2008-04-21 12:05:54 as along with 2 people spl kalmar
	Fast Pattern Matching in Strings [My Copy] SIAM Journal on Computing, Vol. 6, No. 2. (1977), pp. 323-350. by Donald E. Knuth, Jr, Vaughan R. Pratt posted to algorithm search string by SamB on 2008-04-18 13:33:21 as along with 5 people ajholanda blackblight Mirking diegoceccarelli dmeister
	Breadth-first numbering: lessons from a small exercise in algorithm design [My Copy] ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 131-136. by Chris Okasaki posted to functional-programming pearl by SamB on 2008-04-13 03:15:26 as along with 2 people conal BMeph
	Functional Pearls: A Poor Man's Concurrency Monad [My Copy] by Koen Claessen posted to concurrency functional-programming haskell monads pearl by SamB on 2008-04-13 02:55:13 as along with 1 person conal
	A system of constructor classes: overloading and implicit higher-order polymorphism [My Copy] In FPCA '93: Conference on Functional Programming and Computer Architecture, Copenhagen, Denmark (1993), pp. 52-61. by Mark P. Jones posted to functional-programming haskell kind-inference kinds monads typeclasses types typesystems by SamB on 2008-03-24 18:06:07 as along with 3 people draganigajic jpbernardy pedagand
	How to make ad-hoc polymorphism less ad-hoc [My Copy] In Conference Record of the 16th Annual ACM Symposium on Principles of Programming Languages (January 1989), pp. 60-76. by P. Wadler, S. Blott posted to functional-programming haskell typeclasses types typesystems by SamB on 2008-03-24 17:53:55 as along with 5 people msakai lomeo tov gds gkuan
	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 functional-programming haskell monads by SamB on 2008-02-04 11:54:17 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 mmarcus americovargas namin pedagand SRL SIG functional programming Lambda the Ultimate
	A history of Haskell: being lazy with class [My Copy] In HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languages (2007) by Paul Hudak, John Hughes, Simon P. Jones, Philip Wadler posted to functional-programming haskell history monads typeclasses types by SamB on 2008-01-27 20:21:40 as along with 4 people triampurum mthomure spl brecknell
	An embedded language framework for hardware compilation [My Copy] In DCC'02, ETAPS, Grenoble, France. (2002) by K. Claessen, G. Pace posted to dsel functional-programming haskell hdl lava logic-design by SamB on 2008-01-25 19:38:39 as
	Lava: Hardware Design in Haskell [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998), pp. 174-184. by Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh posted to dsel functional-programming haskell hdl lava logic-design by SamB on 2008-01-25 18:55:15 as along with 4 people draganigajic jacob mmuecke pedagand
	On embedding a microarchitectural design language within Haskell [My Copy] In ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming (1999), pp. 60-69. by John Launchbury, Jeffrey R. Lewis, Byron Cook posted to dsel functional-programming haskell hawk hdl logic-design by SamB on 2008-01-25 18:47:25 as along with 1 person mmuecke
	Hardware Design and Functional Programming: a Perfect Match [My Copy] by Mary Sheeran posted to dsel functional-programming haskell hdl lava logic-design ufp by SamB on 2008-01-25 18:45:42 as along with 2 people mmuecke spl
	Designing FPGA Circuits in Lava [My Copy] by S. Singh, M. Sheeran posted to dsel fpga functional-programming haskell hdl lava layout logic-design xilinx-lava by SamB on 2008-01-25 18:38:41 as along with 1 person mmuecke
	Lava and JBits: From HDL to Bitstreams in Seconds [My Copy] (2001) by S. Singh, James P. Roxby posted to dsel functional-programming haskell hdl lava logic-design xilinx-lava by SamB on 2008-01-25 18:30:07 as
	A tutorial on Lava: A hardware description and verification system [My Copy] (2000) by K. Claessen, M. Sheeran posted to dsel functional-programming haskell hdl lava logic-design by SamB on 2008-01-25 18:23:47 as
	Lava: Hardware Design in Haskell [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998), pp. 174-184. by Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh posted to functional-programming haskell hdl lava logic-design by SamB on 2008-01-25 18:21:05 as
	There and Back Again: Arrows for Invertible Programming [My Copy] by Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko van Eekelen, Rinus Plasmeijer posted to arrows functional-programming haskell inversion by SamB on 2008-01-12 16:58:54 as along with 3 people glaubersp conal cognominal
	Faster laziness using dynamic pointer tagging [My Copy] SIGPLAN Not., Vol. 42, No. 9. (September 2007), pp. 277-288. by Simon Marlow, Alexey R. Yakushev, Simon P. Jones posted to compilers functional-programming ghc haskell by SamB on 2007-12-16 04:53:03 as
	Functional Programming with Overloading and Higher-Order Polymorphism [My Copy] In Advanced Functional Programming (1995), pp. 97-136. by Mark P. Jones posted to functional-programming haskell monads typeclasses by SamB on 2007-12-16 04:39:30 as along with 1 person mcclurmc
	A Semantics for Imprecise Exceptions [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1999), pp. 25-36. by Simon P. Jones, Alastair Reid, Fergus Henderson, C. A. R. Hoare, Simon Marlow posted to exceptions functional-programming haskell by SamB on 2007-12-16 04:37:49 as
	Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell [My Copy] by Simon P. Jones posted to functional-programming haskell monads by SamB on 2007-12-16 04:36:28 as along with 6 people draganigajic p1738j croys scook0 glaubersp pedagand
	How to make ad-hoc polymorphism less ad-hoc [My Copy] In Conference Record of the 16th Annual ACM Symposium on Principles of Programming Languages (January 1989), pp. 60-76. by P. Wadler, S. Blott posted to functional-programming haskell typeclasses types typesystems by SamB on 2007-12-16 04:29:47 as along with 1 person mmarcus

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

functional-programming	27
haskell	22
hdl	8
logic-design	8
dsel	7
lava	7
monads	6
types	6
typeclasses	5
compilers	4
algorithm	3
regexps	3
typesystems	3
calculus	2
ghc	2
lambda-calculus	2
model	2
pearl	2
string	2
xilinx-lava	2
algebraic-data-types	1
arithmatic	1
arrows	1
concurrency	1
convolution	1
curry-howard	1
dfas	1
education	1
exceptions	1
floating-point	1
fpga	1
hawk	1
history	1
inversion	1
kind-inference	1
kinds	1
layout	1
nfas	1
rts	1
search	1
theory	1
type-inference	1
ufp	1
version-control	1
zippers	1

SamB's library 37 articles Export

SamB's tags