croys's library 28 articles Export

	Type checking with open type functions [My Copy] SIGPLAN Not., Vol. 43, No. 9. (2008), pp. 51-62. by Tom Schrijvers, Simon P. Jones, Manuel Chakravarty, Martin Sulzmann posted to haskel type-systems types by croys on 2008-11-03 11:39:56 as
	The Power of Pi [My Copy] ICFP08 by Wouter Sweirstra, Nicolas Oury posted to no-tag by croys on 2008-10-09 06:38:14 as
	Total Functional Programming [My Copy] by D. A. Turner posted to functional programming by croys on 2008-10-09 06:34:45 as along with 1 person and 1 group greenrd SRG_at_UCD
	Cayenne - a Language with Dependent Types [My Copy] In International Conference on Functional Programming (1998), pp. 239-250. by Lennart Augustsson posted to dependent-types types type-systems by croys on 2008-05-04 15:53:44 as along with 1 person americovargas
	SIMD-Oriented Fast Mersenne Twister: a 128-bit Pseudorandom Number Generator [My Copy] Monte Carlo and Quasi-Monte Carlo Methods 2006 (2008), pp. 607-622. by Mutsuo Saito, Makoto Matsumoto posted to generation math number random by croys on 2008-04-28 08:51:30 as along with 1 person iantunbridge
	Wobbly types: Type inference for generalised algebraic data types [My Copy] (2004) by P. Jones, S. Washburn, G. Weirich posted to haskell types type-systems by croys on 2008-04-25 10:57:17 as along with 1 person msakai
	A Multi-currency Model with FX Volatility Skew [My Copy] Social Science Research Network Working Paper Series (7 February 2005) by Vladimir Piterbarg posted to finance fx prdc by croys on 2008-04-24 14:25:57 as
	Unskilled and unaware of it: how difficulties in recognizing one's own incompetence lead to inflated self-assessments. [My Copy] Journal of personality and social psychology, Vol. 77, No. 6. (December 1999), pp. 1121-1134. by J. Kruger, D. Dunning posted to psychology by croys on 2008-04-24 14:04:19 as along with 15 people and 2 groups edmund derek_farn twthompson mutesa yangjustinc JamesLyndsay kndiaye agcs Benja jwm simonjudge nickstenning suizan pjays Marcory Radiation_Damage Stressosome
	Applicative Programming with Effects [My Copy] by Conor Mcbride, Ross Paterson posted to functional by croys on 2008-04-24 14:01:47 as along with 9 people jcreed pedagand msakai shimomura zednenem josefs mstone bringert conal
	Making Type Inference Practical [My Copy] In ECOOP (1992), pp. 329-349. by Nicholas Oxhoj, Jens Palsberg, Michael I. Schwartzbach posted to type-systems by croys on 2008-04-24 13:26:54 as
	Computing the nearest correlation matrix [My Copy] No. No. 389. (2000) by N. J. Higham posted to correlation finance math matrix by croys on 2008-04-24 13:06:00 as
	Extending the Haskell foreign function interface with concurrency [My Copy] In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 22-32. by Simon Marlow, Simon P. Jones, Wolfgang Thaller posted to concurrency haskell by croys on 2007-05-23 03:48:31 as along with 3 people jacob wtribbey brecknell
	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 functional by croys on 2007-05-14 15:22:11 as along with 31 people and 4 groups ama08r ddemange pirapira ariels draganigajic rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman roi msakai lomeo scis0000001 brothers calvins armintroy dhag Porges conal cdiggins mmarcus jimburton namin dvgb jkominek pedagand SRL SRG_at_UCD complogic Lambda the Ultimate
	Observable Sharing for Functional Circuit Description [My Copy] In Asian Computing Science Conference (1999), pp. 62-73. by Koen Claessen, David Sands posted to functional monads by croys on 2007-05-14 14:38:48 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 monads by croys on 2005-12-27 19:46:34 as along with 6 people draganigajic p1738j scook0 glaubersp pedagand SamB
	Monadic Parser Combinators [My Copy] No. NOTTCS-TR-96-4. (1996) by Graham Hutton, Erik Meijer posted to functional parsing by croys on 2005-12-27 19:45:15 as along with 6 people and 1 group derek_farn jweslley LeonSmith rahul cdiggins americovargas SRL
	What are principal typings and what are they good for? [My Copy] In ACM Symposium on Principles of Programming Languages (POPL), St.~Petersburg Beach, Florida (1996), pp. 42-53. by Trevor Jim edited by Ac posted to types by croys on 2005-12-27 15:17:00 as along with 3 people and 1 group twleung dherman JeffreyPalmer NU-PRL
	A critique of Abelson and Sussman or why calculating is better than scheming [My Copy] SIGPLAN Not., Vol. 22, No. 3. (March 1987), pp. 83-94. by P. Wadler posted to no-tag by croys on 2005-12-27 14:00:10 as along with 9 people and 1 group ama08r claudiamichelle jkominek spl tarampam samth dherman tautologico ben_moseley NU-PRL
	Register allocation & spilling via graph coloring [My Copy] Proceedings of the 1982 SIGPLAN Symposium on Compiler Construction, pages 98-101 (1982) by G. J. Chaitin posted to compilers by croys on 2005-12-18 10:42:46 as
	The Essence of Compiling with Continuations [My Copy] In Proceedings ACM {SIGPLAN} 1993 Conf.\ on Programming Language Design and Implementation, {PLDI}'93, Albuquerque, {NM}, {USA}, 23--25 June 1993, Vol. 28(6) (1993), pp. 237-247. by Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen posted to compilers by croys on 2005-12-18 09:16:17 as along with 5 people derek_farn dimvar clconway ds mbrentharp
	From Region Inference to von Neumann Machines via Region Representation Inference [My Copy] In Proceedings of the 23rd ACM {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages (January 1996), pp. 171-183. by Lars Birkedal, Mads Tofte, Magnus Vejlstrup posted to compilers regions by croys on 2005-12-18 08:20:38 as along with 1 person brturn
	The Temporal Logic of Actions [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 16, No. 3. (May 1994), pp. 872-923. by Leslie Lamport posted to concurrency distribution by croys on 2005-12-17 09:27:14 as
	The Two-Phase Commitment Protocol in an Extended pi-Calculus [My Copy] pp. 105-130. by Martin Berger, Kohei Honda posted to concurrency distribution semantics by croys on 2005-12-17 09:25:59 as
	A theory of type qualifiers [My Copy] SIGPLAN Not. In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, Vol. 34, No. 5. (May 1999), pp. 192-203. by Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken posted to type-systems by croys on 2005-12-17 06:50:03 as along with 2 people derek_farn danielvd
	CCured: type-safe retrofitting of legacy code [My Copy] In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 128-139. by George C. Necula, Scott Mcpeak, Westley Weimer posted to c type-systems by croys on 2005-12-17 06:49:18 as along with 3 people derek_farn ecronin krisn11
	An Object Calculus for Asynchronous Communication [My Copy] Lecture Notes in Computer Science, Vol. 512 (1991), pp. 133-??. by Kohei Honda, Mario Tokoro posted to concurrency semantics by croys on 2005-12-17 06:43:45 as along with 1 person cogumbreiro
	The UDP Calculus: Rigorous Semantics for Real Networking [My Copy] Lecture Notes in Computer Science, Vol. 2215 (2001), pp. 535-??. by Andrei Serjantov, Peter Sewell, Keith Wansbrough posted to concurrency semantics by croys on 2005-12-15 14:23:37 as along with 1 person keigoi
	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 approximation floating-point by croys on 2005-12-15 14:23:03 as along with 14 people ryidle GMariano higepon derek_farn ansobol brian yaroslavvb jrw ozarfreo sachingarg dguibert chrisatcite bsilverthorn pedagand

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

functional	6
type-systems	6
concurrency	5
types	4
compilers	3
semantics	3
distribution	2
finance	2
haskell	2
math	2
monads	2
approximation	1
c	1
correlation	1
dependent-types	1
floating-point	1
fx	1
generation	1
haskel	1
matrix	1
number	1
parsing	1
prdc	1
programming	1
psychology	1
random	1
regions	1

croys's library 28 articles Export

croys's tags