kozima's watchlist [more than 800 articles] Export

Recent papers matching kozima's watchlist criteria

	A semantics for imprecise exceptions [My Copy] In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation (1999), pp. 25-36. by Simon P. Jones, Alastair Reid, Fergus Henderson, Tony Hoare, Simon Marlow posted to exception by msakai on 2009-11-27 08:55:02 as along with 1 person pedagand
	Asynchronous exceptions in Haskell [My Copy] In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation (2001), pp. 274-285. by Simon Marlow, Simon P. Jones, Andrew Moran, John Reppy posted to exception by msakai on 2009-11-27 08:53:37 as along with 1 person pedagand
	The temporal logic of actions [My Copy] ACM Trans. Program. Lang. Syst., Vol. 16, No. 3. (1994), pp. 872-923. by Leslie Lamport posted to no-tag by pirapira on 2009-11-26 06:29:14 as along with 2 people ajholanda michaelbanks
	An events based algorithm for distributing concurrent tasks on multi-core architectures [My Copy] Computer Physics Communications (14 October 2009) by David W. Holmes, John R. Williams, Peter Tilke posted to no-tag by pirapira on 2009-11-26 06:01:43 as along with 1 person michaelbussmann
	A logical design methodology for relational databases using the extended entity-relationship model [My Copy] ACM Comput. Surv., Vol. 18, No. 2. (June 1986), pp. 197-222. by Toby J. Teorey, Dongqing Yang, James P. Fry posted to no-tag by pirapira on 2009-11-26 06:00:40 as along with 2 people myui gabdori
	Strictly declarative specification of sophisticated points-to analyses [My Copy] In Proceedings of OOPSLA '09 (2009), pp. 243-262. by Martin Bravenboer, Yannis Smaragdakis posted to semi-naive-evaluation program-analysis logic-programming forward-chaining by robertjohnsimmons on 2009-11-25 15:19:11 as
	Testing Concurrent Systems: An Interpretation of Intuitionistic Logic [My Copy] FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (2005), pp. 517-528. by Radha Jagadeesan, Gopalan Nadathur, Vijay Saraswat posted to sequent-calculus logic-programming focusing concurrency by robertjohnsimmons on 2009-11-24 19:45:11 as
	The Principal Type-Scheme of an Object in Combinatory Logic [My Copy] Transactions of the American Mathematical Society, Vol. 146 (1969), pp. 29-60. by R. Hindley posted to type-inference by robertjohnsimmons on 2009-11-23 16:48:33 as
	A theory of type polymorphism in programming [My Copy] Journal of Computer and System Sciences, Vol. 17, No. 3. (December 1978), pp. 348-375. by Robin Milner posted to polymorphism by robertjohnsimmons on 2009-11-23 16:14:33 as along with 8 people azwinkau mattmight amp269 jkominek tautologico lyongu calvins shimomura
	Queue Logic: An Undisplayable Logic? [My Copy] (April 2009) by Jason C. Reed posted to queue-logic ordered-logic display-logic by robertjohnsimmons on 2009-11-21 00:12:34 as
	A Coverage Checking Algorithm for LF [My Copy] Theorem Proving in Higher Order Logics (2003), pp. 120-135. by Carsten Schürmann, Frank Pfenning posted to unification-algorithms logical-framework dependent-types coverage-checking canonical-forms by robertjohnsimmons on 2009-11-20 07:28:56 as
	On understanding data abstraction, revisited [My Copy] In OOPSLA '09: Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (2009), pp. 557-572. by William R. Cook posted to types polymorphism object-oriented-programming data-abstraction by robertjohnsimmons on 2009-11-19 23:58:56 as along with 1 group ConcertRG
	A Fragment of Intuitionistic Dynamic Logic [My Copy] Fundam. Inf., Vol. 46, No. 3. (August 2001), pp. 187-197. by Sergio A. Celani posted to no-tag by pirapira on 2009-11-17 03:20:52 as along with 1 person and 1 group mfrydr complogic
	Types, abstraction, and parametric polymorphism, part 2 [My Copy] Mathematical Foundations of Programming Semantics (1992), pp. 1-40. by QingMing Ma, John Reynolds posted to logical-relations lambda-calculus category-theory abstraction by robertjohnsimmons on 2009-11-13 03:06:18 as
	Constructor-based observational logic☆ [My Copy] Journal of Logic and Algebraic Programming, Vol. 67, No. 1-2. (April 2006), pp. 3-51. by M. Bidoit, R. Hennicker posted to term-observation case-analysis by robertjohnsimmons on 2009-11-12 22:04:26 as
	A computer scientist's view of life, the universe, and everything [My Copy] Foundations of Computer Science (1997), pp. 201-208. by Jürgen Schmidhuber posted to physics by msakai on 2009-11-10 14:04:23 as
	Efficient incremental run-time specialization for free [My Copy] In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, Vol. 34, No. 5. (May 1999), pp. 281-292. by Renaud Marlet, Charles Consel, Philippe Boinot posted to specialization by msakai on 2009-11-06 00:08:52 as along with 3 people marcoil dynamic nikomatsakis
	What is a recursive module? [My Copy] In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, Vol. 34, No. 5. (May 1999), pp. 50-63. by Karl Crary, Robert Harper, Sidd Puri posted to module-system by msakai on 2009-11-06 00:07:04 as along with 1 person and 1 group dherman NU-PRL
	Improving performance by branch reordering [My Copy] In PLDI '98: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation (1998), pp. 130-141. by Minghui Yang, Gang R. Uh, David B. Whalley posted to optimization by msakai on 2009-11-06 00:01:22 as
	Run-time code generation and modal-ML [My Copy] In PLDI '98: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, Vol. 33, No. 5. (May 1998), pp. 224-235. by Philip Wickline, Peter Lee, Frank Pfenning posted to stage-calculus specialization modal-logic by msakai on 2009-11-06 00:00:41 as along with 1 person magr
	Concurrent dynamic logic [My Copy] J. ACM, Vol. 34, No. 2. (1987), pp. 450-479. by David Peleg posted to no-tag by pirapira on 2009-11-05 09:20:06 as
	A Knowledge-Based Algorithm for the Internet Transmission Control Protocol (TCP) [My Copy] Social Science Research Network Working Paper Series (12 November 2002) by Freek Stulp, Rineke Verbrugge posted to no-tag by pirapira on 2009-11-05 09:15:18 as
	Knowledge-based programs [My Copy] Distributed Computing, Vol. 10, No. 4. (4 July 1997), pp. 199-225. by Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi posted to no-tag by pirapira on 2009-11-05 09:13:26 as along with 1 person mperalta
	Implementing knowledge-based programs [My Copy] In TARK '96: Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge (1996), pp. 15-30. by Moshe Y. Vardi posted to no-tag by pirapira on 2009-11-05 09:12:07 as
	A note on knowledge-based programs and specifications - KFUPM ePrints [My Copy] posted to no-tag by pirapira on 2009-11-05 09:04:58 as
	Towards programming with knowledge expressions [My Copy] In POPL '86: Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1986), pp. 140-149. by Reino K. Suonio posted to no-tag by pirapira on 2009-11-05 09:04:07 as
	Cooperative learning techniques in CS1: design and experimental evaluation [My Copy] In SIGCSE '05: Proceedings of the 36th SIGCSE technical symposium on Computer science education (2005), pp. 470-474. by Leland L. Beck, Alexander W. Chizhik, Amy C. McElroy posted to pedagogy cooperative-learning by robertjohnsimmons on 2009-11-03 04:14:10 as
	Towards a practical programming language based on dependent type theory [My Copy] (2007) by Ulf Norell posted to agda by robertjohnsimmons on 2009-11-03 02:51:29 as along with 1 person samth
	Problems in comprehending recursion and suggested solutions [My Copy] In ITiCSE '01: Proceedings of the 6th annual conference on Innovation and technology in computer science education (2001), pp. 25-28. by Raja Sooriamurthi posted to recursion pedagogy by robertjohnsimmons on 2009-11-02 18:43:46 as
	Concurrent dynamic epistemic logic for MAS [My Copy] In AAMAS '03: Proceedings of the second international joint conference on Autonomous agents and multiagent systems (2003), pp. 201-208. by H. P. van Ditmarsch, W. van der Hoek, B. P. Kooi posted to no-tag by pirapira on 2009-11-02 03:55:08 as
	Concurrent common knowledge: defining agreement for asynchronous systems [My Copy] Distributed Computing, Vol. 6, No. 2. (23 September 1992), pp. 73-93. by Prakash Panangaden, Kim Taylor posted to no-tag by pirapira on 2009-10-31 22:22:46 as
	Knowability and intuitionistic logic [My Copy] Philosophia, Vol. 28, No. 1. (30 June 2001), pp. 319-334. by David De Vidi, Graham Solomon posted to no-tag by pirapira on 2009-10-30 21:39:33 as
	Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics [My Copy] Studia Logica, Vol. 49, No. 3. (1 September 1990), pp. 289-306. by Nobu Suzuki posted to no-tag by pirapira on 2009-10-30 20:05:16 as
	On some intuitionistic modal logics [My Copy] posted to no-tag by pirapira on 2009-10-30 19:44:43 as
	A separate compilation extension to standard ML [My Copy] In ML '06: Proceedings of the 2006 workshop on ML (2006), pp. 32-42. by David Swasey, V. Tom Murphy, Karl Crary, Robert Harper posted to types standard-ml separate-compilation incremental-compilation by robertjohnsimmons on 2009-10-29 21:31:53 as along with 1 person and 1 group gkuan ConcertRG
	Ldiff: An enhanced line differencing tool [My Copy] Software Engineering, International Conference on, Vol. 0 (2009), pp. 595-598. by Gerardo Canfora, Luigi Cerulo, Massimiliano Di Penta posted to diff by msakai on 2009-10-29 15:57:29 as
	Solving Large, Irregular Graph Problems Using Adaptive Work-Stealing [My Copy] Parallel Processing, 2008. ICPP '08. 37th International Conference on (16 September 2008), pp. 536-545. by Guojing Cong, S. Kodali, S. Krishnamoorthy, D. Lea, V. Saraswat, Tong Wen posted to work-stealing parallelism graph-algorithms by robertjohnsimmons on 2009-10-28 17:51:57 as along with 1 group ConcertRG
	On the Logic of TLA+ [My Copy] Computers and Informatics, Vol. 22 (2001) by Stephan Merz, Inria Lorraine, S. Merz posted to no-tag by pirapira on 2009-10-27 23:14:33 as along with 1 person ajholanda
	Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (2009), pp. 174-177. by Robert Brummayer, Armin Biere posted to smt by msakai on 2009-10-25 13:02:49 as along with 1 person rhishi
	Synthesis and transformation of logic programs using unfold/fold proofs [My Copy] The Journal of Logic Programming, Vol. 41, No. 2-3. (December 1999), pp. 197-230. by A. Pettorossi posted to program-transformation logic-programming fold-unfold by robertjohnsimmons on 2009-10-24 20:44:55 as
	HOW APPLIED MATHEMATICS BECAME PURE [My Copy] The Review of Symbolic Logic, Vol. 1, No. 01. (2008), pp. 16-41. by Y. Penelope Madd posted to no-tag by pirapira on 2009-10-22 07:56:00 as along with 1 person MichaelDe
	An Introduction to Gödel's Theorems [My Copy] (06 August 2007) by Peter Smith posted to no-tag by pirapira on 2009-10-22 07:51:28 as along with 3 people dwei98 Scis0000002 NitinCR
	The Logic of Possible Worlds [My Copy] Theory Culture Society, Vol. 23, No. 2-3. (1 May 2006), pp. 94-95. by Neil Turnbull posted to no-tag by pirapira on 2009-10-22 07:50:37 as along with 1 person tamda
	Pebble games in model theory [My Copy] Structures in Logic and Computer Science (1997), pp. 66-83. by James Lynch posted to no-tag by pirapira on 2009-10-22 07:43:38 as along with 1 person edm92
	Fast Exact Inference with a Factored Model for Natural Language Parsing [My Copy] In Advances in Neural Information Processing Systems, Vol. 15 (2003) by Dan Klein, Christopher D. Manning posted to weighted-logic-programming parsing nlp factored-models by robertjohnsimmons on 2009-10-20 18:40:31 as along with 1 person topher
	Knowledge representation, the World Wide Web, and the evolution of logic [My Copy] Synthese by Christopher Menzel posted to no-tag by msakai on 2009-10-20 07:02:51 as
	Control-flow analysis of function calls and returns by abstract interpretation [My Copy] In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 287-298. by Jan Midtgaard, Thomas P. Jensen posted to program-analysis possible-concertrg-paper galois-connections abstract-interpretation by robertjohnsimmons on 2009-10-19 17:01:19 as along with 1 person and 1 group mattmight ConcertRG
	The derivative of a regular type is its type of one-hole contexts [My Copy] (2001) by Conor McBride posted to zipper derivative by robertjohnsimmons on 2009-10-19 14:52:37 as along with 7 people and 2 groups mattmight pedagand dherman eaubin zednenem josefs ryanc ConcertRG NU-PRL
	Modal Proofs as Distributed Programs [My Copy] Programming Languages and Systems (2004), pp. 219-233. by Limin Jia, David Walker posted to no-tag by pirapira on 2009-10-19 05:59:37 as
	A beginner's guide to forcing [My Copy] (8 May 2008) by Timothy Y. Chow posted to no-tag by pirapira on 2009-10-19 05:45:10 as along with 8 people and 1 group JoseBrox jrw qwermish ansobol dmitri83 archernikov jedal teesid Model theory

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

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

modal-logic	59
lambda-calculi	18
category	16
temporal-logic	15
kripke-semantics	11
algebra	8
monads	4
philosophy	4
programming	4
substructural-logic	4
uni-log	4
coalgebra	3
distributed-computation	3
parametricity	3
poset	3
type-system	3
abstract-syntax	2
dependency	2
duality	2
linear-logic	2
many-valued-logic	2
quantification	2
complexity	1
game-semantics	1
hybrid-logic	1
survey	1

kozima's watchlist [more than 800 articles] Export

kozima's tags