samth's library 252 articles Export

	Computer-Aided Reasoning: An Approach [My Copy] (2000) by Matt Kaufmann, J. Strother Moore, Panagiotis Manolios posted to no-tag by samth on 2009-10-27 03:43:26 as
	Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods) [My Copy] (30 June 2000) posted to acl2 by samth on 2009-10-27 03:40:30 as along with 1 group NU-PRL
	Python 3 Reference Manual: (Python Documentation Manual Part 2) [My Copy] (20 March 2009) by Guido Van Rossum, Fred L. Drake posted to python by samth on 2009-10-13 16:55:03 as
	Revised NISP Manual [My Copy] No. YALE/DCS/RR-642. (2004) by Drew McDermott posted to dissertation by samth on 2009-10-09 20:21:49 as
	Automatic computation of data set definitions. [My Copy] In IFIP Congress (1) (1968), pp. 456-461. by John C. Reynolds posted to shape-analysis dissertation by samth on 2009-10-09 20:21:49 as
	Dependent types for program understanding [My Copy] In TACAS, Vol. 3440 (2005), pp. 157-173. by Raghavan Komondoor, G. Ramalingam, Satish Chandra, John Field posted to dissertation by samth on 2009-10-09 20:21:49 as
	Operational semantics for multi-language programs [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 31, No. 3. (2009), pp. 1-44. by Jacob Matthews, Robert B. Findler posted to dissertation by samth on 2009-10-09 20:21:49 as
	Scheme with Classes, Mixins, and Traits [My Copy] In Asian Symposium on Programming Languages and Systems (APLAS) 2006 (November 2006), pp. 270-289. by Matthew Flatt, Robert B. Findler, Matthias Felleisen posted to dissertation by samth on 2009-10-09 20:21:48 as
	Operational semantics for multi-language programs [My Copy] In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 3-10. by Jacob Matthews, Robert B. Findler posted to dissertation by samth on 2009-10-09 20:21:48 as
	A practical subtyping system for Erlang [My Copy] In ICFP '97: Proceedings of the second ACM SIGPLAN international conference on Functional programming (1997), pp. 136-149. by Simon Marlow, Philip Wadler posted to dissertation by samth on 2009-10-09 20:21:48 as
	A Computation Logic (2nd Edition) [My Copy] (1997) by R. S. Boyer, J. S. Moore posted to dissertation by samth on 2009-10-09 20:21:48 as
	Writing macros in continuation-passing style [My Copy] In Scheme and Functional Programming (2000) by Erik Hilsdale, Daniel P. Friedman posted to dissertation by samth on 2009-10-09 20:21:48 as
	Syntactic Abstraction in Component Interfaces. [My Copy] In Proc. Fourth International Conference on Generative Programming and Component Engineering (2005), pp. 373-388. by Ryan Culpepper, Scott Owens, Matthew Flatt posted to dissertation by samth on 2009-10-09 20:21:48 as
	Une extension de l'interprétation de Gödel à l'analyse, et son application à l'élimination de coupures dans l'analyse et la théorie des types [My Copy] In Proceedings of the Second Scandinavian Logic Symposium (1971), pp. 63-92. by J. Y. Girard edited by J. E. Fenstad posted to dissertation by samth on 2009-10-09 20:21:48 as
	The Zip Calculus [My Copy] In MPC 2000, Vol. 1837 (July 2000), pp. 28-44. by Mark Tullsen edited by Roland Backhouse, Jose N. Oliveira posted to dissertation by samth on 2009-10-09 20:21:48 as
	Variable-Arity Polymorphism [My Copy] No. NU-CCIS-08-03. (2008) by T. Stephen Strickland, Sam T. Hochstadt, Matthias Felleisen posted to dissertation by samth on 2009-10-09 20:21:48 as
	Arity Polymorphism and Dependent Types [My Copy] (July 2000) by Eugenio Moggi posted to dissertation by samth on 2009-10-09 20:21:48 as
	Faking it: Simulating Dependent Types in Haskell [My Copy] Journal of Functional Programming, Vol. 12, No. 5. (2002), pp. 375-392. by Conor McBride posted to dissertation by samth on 2009-10-09 20:21:48 as
	Variable-arity Generic Interfaces [My Copy] No. NU-CCIS-08-01. (2008) by T. Stephen Strickland, Richard Cobbe, Matthias Felleisen posted to dissertation by samth on 2009-10-09 20:21:48 as
	Variadic templates for C++ [My Copy] In {SAC} '07 (2007), pp. 1101-1108. by Douglas Gregor, Jaakko Järvi posted to dissertation by samth on 2009-10-09 20:21:48 as
	A semantic prototyping system [My Copy] In {SIGPLAN '84: Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction} (1984), pp. 213-221. by Mitchell Wand posted to dissertation by samth on 2009-10-09 20:21:48 as
	Continuations from Generalized Stack Inspection [My Copy] (September 2005), pp. 216-227. by G. Pettyjohn, J. Clements, J. Marshall, S. Krishnamurthi, M. Felleisen posted to dissertation by samth on 2009-10-09 20:21:48 as
	Building language towers with Ziggurat [My Copy] Journal of Functional Programming, Vol. 18, No. Special Double Issue 5-6. (2008), pp. 707-780. by David Fisher, Olin Shivers posted to dissertation by samth on 2009-10-09 20:21:48 as
	Reference: PLT Scheme [My Copy] No. PLT-TR2009-reference-v4.2.1. (July 2009) by Matthew Flatt, T. Pl posted to dissertation by samth on 2009-10-09 20:21:48 as
	A Type Notation for Scheme [My Copy] No. 05-18a. (August 2005) by Gary T. Leavens, Curtis Clifton, Brian Dorn posted to dissertation by samth on 2009-10-09 20:21:48 as
	Type reconstruction for variable-arity procedures [My Copy] In LFP '94: Proceedings of the 1994 ACM conference on LISP and Functional Programming (1994), pp. 239-249. by Hsianlin Dzeng, Christopher T. Haynes posted to dissertation by samth on 2009-10-09 20:21:48 as
	Infer: A Statically-typed Dialect of Scheme [My Copy] No. 367. (1995) by Christopher T. Haynes posted to dissertation by samth on 2009-10-09 20:21:48 as
	Practical Variable-Arity Polymorphism [My Copy] In {ESOP} '09: Proceedings of the Eighteenth European Symposium On Programming (March 2009), pp. 32-46. by T. Stephen Strickland, Sam T. Hochstadt, Matthias Felleisen posted to dissertation by samth on 2009-10-09 20:21:48 as
	Logic-flow analysis of higher-order programs [My Copy] In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 185-198. by Matthew Might posted to dissertation by samth on 2009-10-09 20:21:48 as
	Practical Soft Typing [My Copy] (1994) by Andrew Wright posted to dissertation by samth on 2009-10-09 20:21:48 as
	An effective theory of type refinements [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (2003), pp. 213-225. by Yitzhak Mandelbaum, David Walker, Robert Harper posted to dissertation by samth on 2009-10-09 20:21:48 as
	Hybrid type checking [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 245-256. by Cormac Flanagan posted to dissertation by samth on 2009-10-09 20:21:48 as
	From polyvariant flow information to intersection and union types [My Copy] In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 197-208. by Jens Palsberg, Christina Pavlopoulou posted to dissertation by samth on 2009-10-09 20:21:48 as
	A type system equivalent to flow analysis [My Copy] ACM Trans. Program. Lang. Syst., Vol. 17, No. 4. (1995), pp. 576-599. by Jens Palsberg, Patrick O'Keefe posted to dissertation by samth on 2009-10-09 20:21:48 as
	User-Defined Data Types as an Aid to Verifying LISP Programs [My Copy] (1976), pp. 228-256. by Robert Cartwright posted to dissertation by samth on 2009-10-09 20:21:48 as
	Static type inference for Ruby [My Copy] In SAC '09: Proceedings of the 2009 ACM Symposium on Applied Computing (2009), pp. 1859-1866. by Michael Furr, Jong hoon David An, Jeffrey S. Foster, Michael Hicks posted to dissertation by samth on 2009-10-09 20:21:48 as
	Towards a practical programming language based on dependent type theory [My Copy] (2007) by Ulf Norell posted to dissertation by samth on 2009-10-09 20:21:48 as along with 1 person robertjohnsimmons
	Interactive Theorem Proving and Program Development [My Copy] Vol. XXV (2004) by Yves Bertot, Pierre Castéran posted to dissertation by samth on 2009-10-09 20:21:48 as
	The formulas-as-types notion of construction [My Copy] In To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism (1980), pp. 479-490. by William A. Howard edited by J. P. Seldin, J. R. Hindley posted to dissertation by samth on 2009-10-09 20:21:48 as
	The Design and Implementation of Typed Scheme [My Copy] (2008), pp. 395-406. by Sam T. Hochstadt, Matthias Felleisen posted to dissertation by samth on 2009-10-09 20:21:48 as
	Paths: an abstract alternative to pointers [My Copy] In POPL '81: Proceedings of the 8th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1981), pp. 14-27. by Robert Cartwright, Robert Hood, Philip Matthews posted to dissertation by samth on 2009-10-09 20:21:48 as
	Programming PHP [My Copy] (28 April 2006) by Rasmus Lerdorf, Kevin Tatroe, Peter MacIntyre posted to scripting php by samth on 2009-10-09 20:20:25 as
	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 macros by samth on 2009-10-09 20:18:25 as along with 8 people and 1 group spl twleung dherman JacquesC ryanc bringert wtribbey jimburton NU-PRL
	Linguistic Reuse [My Copy] (2001) by S. Krishnamurthi posted to no-tag by samth on 2009-10-09 20:18:12 as along with 5 people and 1 group dherman hamish jrw ryanc dfisher NU-PRL
	Quasiquotation in Lisp [My Copy] In Partial Evaluation and Semantic-Based Program Manipulation (1999), pp. 4-12. by Alan Bawden posted to no-tag by samth on 2009-10-09 20:17:55 as along with 10 people and 1 group dalev twleung marcoil dherman JacquesC hamish JeffreyPalmer rwtodd jkominek jfischer NU-PRL
	Faking it---simulating dependent types in Haskell [My Copy] (2001) by C. Mcbride posted to dots by samth on 2009-10-09 20:17:18 as along with 8 people and 2 groups pedagand draganigajic twleung dherman JacquesC greenrd tov sclv NU-PRL SRG_at_UCD
	Modular Object-Oriented Programming with Units and Mixins [My Copy] In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Vol. 34(1) (1999), pp. 94-104. by Robert B. Findler, Matthew Flatt posted to modules by samth on 2009-10-09 20:17:11 as along with 6 people and 1 group dherman JacquesC JeffreyPalmer zednenem ryanc brothers 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 samth on 2009-10-09 20:16:50 as along with 21 people and 1 group pedagand dherman jacob edcdave kschiess jrw kinaba zednenem water451 ryanc bunge mmuecke KarlKlose calvins pirapira ds mldechert jsiek dfisher fgeller jkominek NU-PRL
	Haskell 98 Language and Libraries: The Revised Report [My Copy] (05 May 2003) by Simon P. Jones posted to haskell by samth on 2007-09-11 03:11:57 as along with 2 people and 1 group tov jimburton NU-PRL
	Nominal Techniques in Isabelle/HOL [My Copy] : Automated Deduction – CADE-20 (2005), pp. 38-53. by Christian Urban, Christine Tasson posted to nominal by samth on 2007-04-05 20:25:33 as along with 1 group NU-PRL

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

Result page: 1 2 3 4 5 6 Next

scheme	62
dissertation	38
plt	33
continuations	31
macros	19
oopsla-paper	19
compiler	17
programming	14
ml	11
haskell	10
static-analysis	10
lambda-the-ultimate	9
components	8
modules	8
cfa	7
christmas-reading	7
java	7
types	7
cps	6
contracts	4
education	4
effects	4
flow-analysis	4
lisp	4
logic-programming	4
type-classes	4
fx	3
garbage-collection	3
loop-optimization	3
monads	3
polytypic	3
program-environment	3
ssa	3
configuration-management	2
denotational-semantics	2
honu	2
mixins	2
object-oriented	2
oop	2
semantics	2
stepper	2
web	2
acl2	1
alpha	1
binding	1
concurrency	1
csharp	1
data-structures	1
dots	1
dynamic-scope	1
functional-programming	1
generics	1
google	1
hpc	1
interlang	1
lazy-evaluation	1
metaclasses	1
nominal	1
optimization	1
ownership-types	1
pattern-matching	1
php	1
program-design	1
python	1
rpm	1
scripting	1
shape-analysis	1
syntax-case	1
type-theory	1
unit-checking	1
verification	1
web-programming	1
xp	1

samth's library 252 articles Export

samth's tags