tov's watchlist [at least 200 articles] Export

Recent papers matching tov's watchlist criteria

	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
	Alchemy: transmuting base alloy specifications into implementations [My Copy] In SIGSOFT '08/FSE-16: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering (2008), pp. 158-169. by Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dougherty, Daniel Yoo posted to alloy modeling specification by pnkfelix on 2009-05-21 20:10:44 as
	A Generalized Algorithm for Graph-Coloring Register Allocation(Abstract) [My Copy] posted to register-allocation by pnkfelix on 2009-03-03 23:43:33 as
	Dylan Open Points [My Copy] posted to dylan extensible-syntax macros by dherman on 2009-01-17 14:53:16 as
	D-Expressions: Lisp Power, Dylan Style [My Copy] by Jonathan Bachrach, Keith Playford posted to dylan extensible-syntax macros by dherman on 2009-01-17 14:44:50 as
	A Domain-Specific Language for Manipulation of Binary Data in Dylan [My Copy] In International Lisp Conference (2007) by Hannes Mehnert, Andreas Bogk posted to dylan extensible-syntax macros by dherman on 2009-01-17 14:39:30 as
	A technique for handling macro instructions [My Copy] Commun. ACM, Vol. 2, No. 11. (November 1959), pp. 21-22. by Irwin D. Greenwald posted to extensible-syntax list-extensible-languages macros by dherman on 2008-03-18 14:53:59 as
	The Share 709 System: Programming and Modification [My Copy] J. ACM, Vol. 6, No. 2. (April 1959), pp. 128-133. by Irwin D. Greenwald, Maureen Kane posted to list-extensible-languages by dherman on 2008-03-18 14:53:22 as
	A general purpose macrogenerator [My Copy] The Computer Journal, Vol. 8, No. 3. (1 March 1965), pp. 225-241. by C. Strachey posted to extensible-syntax list-extensible-languages macros by dherman on 2008-03-18 14:52:49 as

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

Result page: 1 2 3 4 5 6 7 8 9 10 Next

pl	91
types	46
haskell	24
icfp08	23
parproj	15
scheme	15
compilers	13
typeclasses	12
concurrency	11
history	11
records	9
control	7
quantum	7
macros	4
ml	4
substructural	3
apl	2
java	2
logic	2
mine	2
contexts	1
erlang	1
shcaml	1
syntax	1

tov's watchlist [at least 200 articles] Export

tov's tags