ryanc's library 88 articles Export

	A Debugger for Standard ML [My Copy] Journal of Functional Programming, Vol. 5, No. 2. (1995), pp. 155-200. by Andrew P. Tolmach, Andrew W. Appel posted to debuggers by ryanc on 2006-03-29 21:02:59 as along with 1 person dsilva
	Steps Toward Better Debugging Tools for Lisp. [My Copy] In LISP and Functional Programming (1984), pp. 247-255. by Henry Lieberman posted to debuggers scheme by ryanc on 2006-03-29 21:01:54 as
	Topsl: a Domain-Specific Language for On-Line Surveys [My Copy] In 2004 Scheme Workshop (2004) by Mike Machenry, Jacob Matthews posted to macros scheme by ryanc on 2006-03-29 20:59:49 as
	Lexer and Parser Generators in Scheme [My Copy] In 2004 Scheme Workshop (2004) by Scott Owens, Matthew Flatt, Olin Shivers, Benjamin Mcmullan posted to macros parsers scheme by ryanc on 2006-03-29 20:58:14 as along with 1 person and 1 group dherman NU-PRL
	Pattern Matching for Scheme [My Copy] (1995) by A. Wright, B. Duba posted to macros scheme by ryanc on 2006-03-29 20:55:43 as
	Theorems for Free! [My Copy] In Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, UK, 11--13 Sept 1989 (1989), pp. 347-359. by Philip Wadler posted to logic types by ryanc on 2006-03-29 20:53:52 as along with 17 people and 2 groups jimburton pedagand draganigajic samth dherman JacquesC greenrd rwtodd zednenem msakai lomeo tov jwm0123 KarlKlose cdiggins dfisher americovargas NU-PRL SRG_at_UCD
	Programming Languages and Lambda Calculi [My Copy] (27 August 2003) by M. Felleisen, M. Flatt posted to lambda-calculus by ryanc on 2006-03-29 20:53:45 as along with 1 person and 1 group samth NU-PRL
	Call-by-name, call-by-value, and the $λ$-calculus [My Copy] Theoretical Computer Science (1975), pp. 125-159. by Gordon D. Plotkin posted to lambda-calculus by ryanc on 2006-03-29 20:51:29 as along with 2 people and 1 group samth cedricboidin NU-PRL
	A Denotational Semantics of Inheritance [My Copy] (May 1989) by William R. Cook posted to oop by ryanc on 2006-03-29 20:51:11 as along with 1 person and 1 group samth NU-PRL
	Categorical Logic [My Copy] In Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures (2001) by Andrew M. Pitts edited by S. Abramsky, D. M. Gabbay, T. S. E. Maibaum posted to category-theory logic by ryanc on 2006-03-29 20:50:07 as along with 18 people and 4 groups ama08r jorisslob dalev jrw tautologico zednenem wasi schaal dmitri83 scis0000001 aleks kaqui keigoi xiemaisi glaubersp janschaefer mmarcus ps_ttf NU-PRL Compilers AS-IIS_ReadingGroup TU-KL-SoftwareTechnologyGroup
	LR Parsing = Grammar Transformation + LL Parsing - Making LR Parsing More Understandable And More Efficient [My Copy] by Peter Pepper posted to parsers by ryanc on 2006-03-29 20:49:22 as along with 2 people and 1 group dherman kvorg NU-PRL
	Final Data Types and Their Specification [My Copy] ACM Trans. Program. Lang. Syst., Vol. 5, No. 1. (January 1983), pp. 97-121. by Samuel Kamin posted to category-theory by ryanc on 2006-03-29 20:49:06 as along with 1 person and 1 group dherman NU-PRL
	Writing macros in continuation-passing style [My Copy] (2000) by E. Hilsdale, D. Friedman posted to macros by ryanc on 2006-03-29 20:47:28 as along with 2 people and 1 group dherman dfisher NU-PRL
	An Introduction to Dependent Type Theory [My Copy] In Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures (2002), pp. 1-41. by Gilles Barthe, Thierry Coquand posted to dependent-types by ryanc on 2006-03-29 20:47:23 as along with 5 people and 1 group darinm dherman tautologico spl jimburton NU-PRL
	The derivative of a regular type is its type of one-hole contexts [My Copy] (2001) by C. Mcbride posted to types by ryanc on 2006-03-29 20:47:15 as along with 7 people and 2 groups robertjohnsimmons mattmight pedagand dherman eaubin zednenem josefs ConcertRG NU-PRL
	Domain specific embedded compilers [My Copy] In Domain-Specific Languages (1999), pp. 109-122. by Daan Leijen, Erik Meijer posted to domain-specific-languages by ryanc on 2006-03-29 20:47:06 as along with 13 people and 2 groups pedagand draganigajic sourada twleung dherman jacob JacquesC hamish JeffreyPalmer cedricboidin msakai jimburton dfisher NU-PRL Lambda the Ultimate
	Jiazzi: New-Age Components for Old-Fashioned Java [My Copy] In Proc. of OOPSLA (oct 2001) by S. Mcdirmid, M. Flatt, W. Hsieh posted to java modules by ryanc on 2006-03-29 20:46:46 as along with 3 people and 1 group samth twleung dherman NU-PRL
	What is a Universal Higher-Order Programming Language? [My Copy] In Automata, Languages and Programming (1993), pp. 682-695. by Ramarao Kanneganti, Robert Cartwright posted to no-tag by ryanc on 2006-03-29 20:46:38 as along with 1 person and 1 group dherman NU-PRL
	Template meta-programming for Haskell [My Copy] In Haskell '02: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell (2002), pp. 1-16. by Tim Sheard, Simon P. Jones posted to haskell multi-stage-programming by ryanc on 2006-03-29 20:44:11 as along with 8 people and 1 group spl samth twleung dherman JacquesC bringert wtribbey jimburton NU-PRL
	Modular Grammars for Programming Language Prototyping [My Copy] (1991) by Stephen R. Adams posted to no-tag by ryanc on 2006-03-29 20:43:59 as along with 1 person and 1 group dherman NU-PRL
	A new approach to the construction of Generalized LR parsing algorithms [My Copy] (1997) by M. Pardo, D. Souto, M. Ferro posted to parsers by ryanc on 2006-03-29 20:43:47 as along with 2 people and 1 group dherman jrw NU-PRL
	Linguistic Reuse [My Copy] (2001) by S. Krishnamurthi posted to macros by ryanc on 2006-03-29 20:43:40 as along with 5 people and 1 group samth dherman hamish jrw dfisher NU-PRL
	Macros that Compose: Systematic Macro [My Copy] by Programming O. Kiselyov posted to macros by ryanc on 2006-03-29 20:43:35 as along with 5 people and 1 group twleung dherman hamish jrw dfisher NU-PRL
	How to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules [My Copy] by Oleg Kiselyov posted to macros by ryanc on 2006-03-29 20:43:28 as along with 3 people and 1 group twleung dherman dfisher NU-PRL
	Lightweight Extensible Records for Haskell [My Copy] (1999) by M. Jones, S. Jones posted to haskell types by ryanc on 2006-03-29 20:43:21 as along with 5 people and 2 groups dherman greenrd msakai ben_moseley americovargas NU-PRL SRG_at_UCD
	Operations on Records [My Copy] In Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (1994), pp. 295-350. by Luca Cardelli, John C. Mitchell edited by C. A. Gunter, J. C. Mitchell posted to types by ryanc on 2006-03-29 20:43:14 as along with 2 people and 1 group misc dherman NU-PRL
	Extensible Records in a Pure Calculus of Subtyping [My Copy] In Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (1994), pp. 373-425. by Luca Cardelli edited by C. A. Gunter, J. C. Mitchell posted to types by ryanc on 2006-03-29 20:43:07 as along with 1 person and 1 group dherman NU-PRL
	A Polymorphic Type System for Extensible Records and Variants [My Copy] No. NOTTCS-TR-96-3. (November 1996) by Benedict R. Gaster, Mark P. Jones posted to types by ryanc on 2006-03-29 20:43:02 as along with 7 people and 1 group dherman JeffreyPalmer sstrickl tautologico thsutton lyongu americovargas NU-PRL
	Inheritance is not subtyping [My Copy] In POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 125-135. by William R. Cook, Walter Hill, Peter S. Canning posted to oop by ryanc on 2006-03-29 20:42:45 as along with 5 people and 2 groups emiliorp dherman amorkan lyongu mcclurmc Security in SOA NU-PRL
	Type Systems for object-oriented programming languages [My Copy] No. STAN-CS-TR-98-1602. (1996) by K. Fisher posted to oop by ryanc on 2006-03-29 20:42:22 as along with 2 people and 1 group dherman tautologico NU-PRL
	Derivatives of Containers [My Copy] by Michael A. Thorsten posted to no-tag by ryanc on 2006-03-29 20:42:15 as along with 2 people and 1 group dherman swiert NU-PRL
	Growing a Language [My Copy] Higher Order Symbol. Comput., Vol. 12, No. 3. (October 1999), pp. 221-236. by Guy Steele posted to macros by ryanc on 2006-03-29 20:42:07 as along with 11 people and 1 group akuhn onierstrasz samth dherman JacquesC hamish bfraser tov calvins danlentz dmeister NU-PRL
	Initial Algebra Semantics and Continuous Algebras [My Copy] J. ACM, Vol. 24, No. 1. (January 1977), pp. 68-95. by J. A. Goguen, J. W. Thatcher, E. G. Wagner, J. B. Wright posted to category-theory by ryanc on 2006-03-29 20:41:59 as along with 4 people and 1 group dherman msakai bonotake marcinzalewski NU-PRL
	Macros that Reach Out and Touch Somewhere [My Copy] by Unpublished I. Report posted to macros by ryanc on 2006-03-29 20:40:10 as along with 4 people and 1 group dherman pnkfelix JeffreyPalmer mbravenboer NU-PRL
	On the Expressive Power of Programming Languages [My Copy] In ESOP '90 3rd European Symposium on Programming, Copenhagen, Denmark, Vol. 432 (1990), pp. 134-151. by Matthias Felleisen edited by N. Jones posted to no-tag by ryanc on 2006-03-29 20:39:53 as along with 21 people and 1 group samth pedagand dherman jacob edcdave kschiess jrw kinaba zednenem water451 bunge mmuecke KarlKlose calvins pirapira ds mldechert jsiek dfisher fgeller jkominek NU-PRL
	Macros and Preprocessing in Haskell [My Copy] (1999) by K. Wansbrough posted to haskell macros by ryanc on 2006-03-29 20:39:44 as along with 4 people and 1 group dherman jrw zednenem dfisher NU-PRL
	Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code [My Copy] Generative Programming and Component Engineering (2005) by Jacques Carette, Oleg Kiselyov posted to multi-stage-programming by ryanc on 2006-03-29 20:39:32 as along with 4 people and 1 group dherman JeffreyPalmer zednenem EdwardKmett NU-PRL
	Macros that work [My Copy] In POPL '91: Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1991), pp. 155-162. by William Clinger, Jonathan Rees posted to macros scheme by ryanc on 2006-03-29 20:34:06 as along with 9 people and 1 group mattmight assnoodles samth JeffreyPalmer jrw bdauvergne damaru tov jkominek NU-PRL
	First-class macros have types [My Copy] In Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2000), pp. 133-141. by Alan Bawden posted to macros scheme by ryanc on 2006-03-29 20:33:59 as along with 5 people and 1 group pedagand samth tov c_m_h dfisher NU-PRL
	Hygienic macro expansion [My Copy] In LFP '86: Proceedings of the 1986 ACM conference on LISP and functional programming (1986), pp. 151-161. by Eugene Kohlbecker, Daniel P. Friedman, Matthias Felleisen, Bruce Duba posted to macros scheme by ryanc on 2006-03-29 20:33:53 as along with 3 people and 1 group mattmight samth dherman NU-PRL
	Syntactic closures [My Copy] In Proceedings of the 1988 ACM conference on LISP and functional programming (1988), pp. 86-95. by Alan Bawden, Jonathan Rees posted to macros scheme by ryanc on 2006-03-29 20:33:46 as along with 1 person and 1 group samth NU-PRL
	Contracts for higher-order functions [My Copy] In Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 48-59. by Robert B. Findler, Matthias Felleisen posted to contracts by ryanc on 2006-03-29 20:33:40 as along with 1 person and 2 groups samth ConcertRG NU-PRL
	A Universal Scripting Framework or Lambda: The Ultimate "Little Language" [My Copy] In Proceedings of the Second Asian Computing Science Conference on Concurrency and Parallelism, Programming, Networking, and Security (1996), pp. 254-265. by Olin Shivers posted to macros scheme by ryanc on 2006-03-29 20:33:33 as along with 1 person and 1 group samth NU-PRL
	The theory and practice of first-class prompts [My Copy] In Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1988), pp. 180-190. by M. Felleisen posted to continuations by ryanc on 2006-03-29 20:33:24 as along with 3 people and 1 group assnoodles samth dsilva NU-PRL
	Programming languages for reusable software components [My Copy] (2000) by Matthew R. Flatt, Matthias Felleisen posted to modules scheme by ryanc on 2006-03-29 20:33:09 as along with 1 person and 1 group samth NU-PRL
	Control delimiters and their hierarchies [My Copy] Lisp Symb. Comput., Vol. 3, No. 1. (January 1990), pp. 67-99. by Dorai Staram, Matthias Felleisen posted to continuations scheme by ryanc on 2006-03-29 20:32:55 as along with 2 people and 1 group samth hayeah NU-PRL
	Modular object-oriented programming with units and mixins [My Copy] In Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 94-104. by Robert B. Findler, Matthew Flatt posted to mixins modules scheme by ryanc on 2006-03-29 20:32:40 as along with 2 people and 1 group samth dsilva NU-PRL
	A Reduction Semantics for Imperative Higher-Order Languages [My Copy] In Proceedings of the Parallel Architectures and Languages Europe, Volume I (1987), pp. 206-223. by Matthias Felleisen, Daniel P. Friedman posted to semantics by ryanc on 2006-03-29 20:32:27 as along with 2 people and 1 group samth jacob NU-PRL
	Modeling an Algebraic Stepper [My Copy] In Proceedings of the 10th European Symposium on Programming Languages and Systems (2001), pp. 320-334. by John Clements, Matthew Flatt, Matthias Felleisen posted to debuggers scheme by ryanc on 2006-03-29 20:32:10 as along with 1 person and 1 group samth NU-PRL
	Programming languages as operating systems (<italic>or</italic> revenge of the son of the lisp machine) [My Copy] In Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 9. (September 1999), pp. 138-147. by Matthew Flatt, Robert B. Findler, Shriram Krishnamurthi, Matthias Felleisen posted to scheme by ryanc on 2006-03-29 20:32:00 as along with 5 people and 1 group samth hamish dsilva hannes jkominek NU-PRL

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

Result page: 1 2 Next

scheme	42
macros	26
compilers	10
modules	9
types	6
debuggers	5
continuations	4
contracts	4
category-theory	3
haskell	3
mixins	3
oop	3
parsers	3
lambda-calculus	2
logic	2
multi-stage-programming	2
semantics	2
dependent-types	1
domain-specific-languages	1
functional-programming	1
java	1
static-analysis	1

ryanc's library 88 articles Export

ryanc's tags