darinm's watchlist [more than 800 articles] Export Sort

Recent papers matching darinm's watchlist criteria

Hide details

	The History of Categorical Logic [My Copy] (2009) by Jean-Pierre Marquis, Gonzalo E. Reyes posted to logic history categorical_logic adjoint by noam_zeilberger on 2009-12-20 11:17:54 as
	Abstract Interpretation Using Laziness: Proving Conway's Lost Cosmological Theorem [My Copy] by Kevin Watkins posted to laziness combinatorics abstract_interpretation by noam_zeilberger on 2009-12-20 11:13:39 as along with 1 person and 1 group robertjohnsimmons ConcertRG
	Higher Order Containers [My Copy] by Thorsten Altenkirch, Paul Levy, Sam Staton posted to hoas containers by noam_zeilberger on 2009-10-22 23:10:51 as
	Unembedding domain-specific languages [My Copy] In Haskell '09: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell (2009), pp. 37-48. by Robert Atkey, Sam Lindley, Jeremy Yallop posted to polymorphism nbe hoas containers by noam_zeilberger on 2009-10-22 23:07:16 as along with 2 people keigoi jcreed
	Sheaves in Geometry and Logic: A First Introduction to Topos Theory [My Copy] (27 October 1994) by Saunders MacLane, Ieke Moerdijk posted to topoi sheaves logic category by noam_zeilberger on 2009-10-22 23:05:19 as along with 6 people and 1 group NitinCR christiankissig DavidChemouil mahler hhalvors mmarcus Rightscom
	Categorial Semantics of Linear Logic [My Copy] (2009) by Paul-André Melliès posted to proof-theory linear-logic category by noam_zeilberger on 2009-10-18 12:19:36 as
	When is one thing equal to some other thing? [My Copy] (2 January 2006) by Barry Mazur posted to equality category by noam_zeilberger on 2009-10-18 12:08:20 as along with 1 person pintman
	Proof Theory: The First Step into Impredicativity [My Copy] (2009) by Wolfram Pohlers posted to types proof-theory ordinals by noam_zeilberger on 2009-08-15 14:34:29 as
	Gödel's Theorem: An Incomplete Guide to Its Use and Abuse [My Copy] (25 May 2005) by Torkel Franzen posted to proof-theory model-theory logic by noam_zeilberger on 2009-08-15 14:22:22 as along with 1 person NitinCR
	Observational equality, now! [My Copy] In PLPV '07: Proceedings of the 2007 workshop on Programming languages meets program verification (2007), pp. 57-68. by Thorsten Altenkirch, Conor McBride, Wouter Swierstra posted to equality by noam_zeilberger on 2008-12-10 17:52:07 as along with 4 people fvogels msakai pedagand Benja
	The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code [My Copy] In FLOPS '99: Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming (1999), pp. 300-318. by Atsushi Ohori posted to proof-theory se sequent-calculus stack-machine by noam_zeilberger on 2008-12-10 17:51:35 as along with 2 people ddemange jespera
	Modelling Computations: A 2-Categorical Framework [My Copy] In Logic in Computer Science (1987) by R. A. G. Seely posted to adjoint category lambda-calculus by noam_zeilberger on 2008-11-21 13:11:55 as
	Representing monads [My Copy] In POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1994), pp. 446-457. by Andrzej Filinski posted to continuations effects monads shift-and-reset by noam_zeilberger on 2008-11-17 19:23:41 as along with 7 people and 1 group bhoward amp269 twleung dherman JacquesC JeffreyPalmer voigt NU-PRL
	Ordinals and Interactive Programs [My Copy] (2000) by Peter Hancock posted to curry-howard functional-programming ordinals proof-theory by noam_zeilberger on 2008-11-17 03:25:12 as
	Hilbert's Finitism: Historical, Philosophical, and Metamathematical Perspectives [My Copy] (2001) by Richard Zach posted to finitism hilbert history proof-theory by noam_zeilberger on 2008-11-17 03:22:34 as
	Hilbert's Programs: 1917-1922 [My Copy] The Bulletin of Symbolic Logic, Vol. 5, No. 1. (1999), pp. 1-44. by Wilfried Sieg posted to finitism proof-theory by noam_zeilberger on 2008-11-17 03:18:57 as along with 1 person and 1 group rzach LogicPhilMath
	Call-by-push-value [My Copy] (2001) by Paul B. Levy posted to adjoint category cbpv effects by noam_zeilberger on 2008-11-17 03:06:05 as
	Notions of Computation Determine Monads [My Copy] In Foundations of Software Science and Computation Structure (2002), pp. 342-356. by Gordon D. Plotkin, John Power posted to effects monads by noam_zeilberger on 2008-11-17 03:03:21 as along with 7 people and 2 groups greenrd JeffreyPalmer cedricboidin zednenem mahler mstone glaubersp Rightscom SRG_at_UCD
	Beyond BHK [My Copy] by Adrian Rezus posted to bhk classical-logic proof-theory by noam_zeilberger on 2008-10-23 22:59:18 as
	Inductive families [My Copy] Formal Aspects of Computing, Vol. 6 (1994), pp. 440-465. by Peter Dybjer posted to dependent inductive recursion types by byorgey on 2008-10-09 18:59:29 as
	Ynot: dependent types for imperative programs [My Copy] In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 229-240. by Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal posted to dependent effects types by byorgey on 2008-10-09 15:43:19 as along with 2 people mattmight jimburton
	CLASE: Cursor Library for A Structured Editor [My Copy] (June 2008) by Tristan Allwood, Susan Eisenbach posted to editors fp haskell zipper by byorgey on 2008-10-09 13:49:18 as
	Theorems for free! [My Copy] In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture (1989), pp. 347-359. by Philip Wadler posted to fp parametricity types by byorgey on 2008-10-03 16:26:59 as along with 7 people and 1 group fvogels amp269 voigt spl paper_jac robdockins nominolo ConcertRG
	Pattern guards and transformational patterns [My Copy] In In Haskell Workshop, Vol. 41 (2000), pp. 12-1. by Martin Erwig, Simon P. Jones posted to guards haskell pattern-matching by byorgey on 2008-10-01 15:12:54 as
	Visual Lambda Calculus [My Copy] by Viktor Massalõgin posted to diagrams lambda-calculus visualization by noam_zeilberger on 2008-09-16 04:45:22 as
	Well-typed programs can't be blamed [My Copy] by Philip Wadler, Robert B. Findler posted to blame contracts dynamic hybrid static types by byorgey on 2008-09-12 14:27:37 as
	Practical type inference for arbitrary-rank types [My Copy] J. Funct. Program., Vol. 17, No. 1. (January 2007), pp. 1-82. by Simon P. Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields posted to haskell higher-rank inference tutorial by byorgey on 2008-09-12 14:22:33 as along with 3 people draganigajic americovargas pedagand
	Concoqtion: indexed types now! [My Copy] In PEPM '07: Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2007), pp. 112-121. by Seth Fogarty, Emir Pasalic, Jeremy Siek, Walid Taha posted to coq dependent indexed ml pie types by byorgey on 2008-09-12 14:10:20 as
	The view from the left [My Copy] J. Funct. Program., Vol. 14, No. 1. (January 2004), pp. 69-111. by Conor Mcbride, James Mckinna posted to dependent pattern-matching pie types by byorgey on 2008-09-12 14:08:55 as along with 7 people and 3 groups robertjohnsimmons pedagand spl jimburton dalev greenrd dmitri83 ConcertRG NU-PRL SRG_at_UCD
	A formulation of Dependent ML with explicit equality proofs [My Copy] (2005) by Daniel R. Licata, Robert Harper posted to dependent equality pie types by byorgey on 2008-09-12 14:06:13 as
	Cayenne — A Language with Dependent Types [My Copy] Advanced Functional Programming (1999), pp. 240-267. by Lennart Augustsson posted to dependent pie types by byorgey on 2008-09-12 14:04:41 as
	Combining programming with theorem proving [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 66-77. by Chiyan Chen, Hongwei Xi posted to dependent pie types by byorgey on 2008-09-12 14:02:50 as
	Computational Ludics [My Copy] submitted by Kazushige Terui posted to complexity ludics by noam_zeilberger on 2008-08-28 23:19:23 as
	A calculus of definitions [My Copy] (18 March 2008) by Thierry Coquand posted to agda definitions infinitary by noam_zeilberger on 2008-08-09 04:07:13 as
	Visualizations of the Square of Opposition [My Copy] Logica Universalis, Vol. 2, No. 1. (1 March 2008), pp. 31-41. by Peter Bernhard posted to diagrams logic square-of-opposition topology visualization by noam_zeilberger on 2008-08-08 16:10:53 as
	Sober spaces and continuations [My Copy] Theory and Applications of Categories, Vol. 10, pp. 200-2. by Paul Taylor posted to asd continuations stone-duality topology types by noam_zeilberger on 2008-08-07 20:44:32 as
	Stone spaces [My Copy] (29 April 1982) by Peter T. Johnstone posted to stone-duality by noam_zeilberger on 2008-08-07 20:40:31 as along with 1 person adrian_pigors
	Geometric And Higher Order Logic In Terms Of Abstract Stone Duality [My Copy] by Paul Taylor posted to asd stone-duality topology types by noam_zeilberger on 2008-08-07 20:39:02 as along with 1 person Constructivity
	The Power of Pi [My Copy] (April 2008) by Nicolas Oury, Wouter Swierstra posted to agda dependent-types by noam_zeilberger on 2008-08-07 20:36:47 as along with 1 person jimburton
	Model theory: Geometrical and set-theoretic aspects and prospects [My Copy] Bulletin of Symbolic Logic, Vol. 9, No. 2. (2003), pp. 197-212. by Angus Macintyre posted to model-theory tarski by noam_zeilberger on 2008-08-07 20:28:33 as along with 2 people and 1 group dmitri83 archernikov Model theory
	Presentation of a Game Semantics for First-Order Propositional Logic [My Copy] (7 May 2008) by Samuel Mimram posted to diagrams game-semantics logic by noam_zeilberger on 2008-08-07 20:27:20 as along with 1 person jrw
	From Axioms to Analytic Rules in Nonclassical Logics [My Copy] In LICS (2008) by Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui posted to polarity proof-theory sequent-calculus by noam_zeilberger on 2008-08-07 20:24:58 as
	A selective undo mechanism for graphical user interfaces based on command objects [My Copy] ACM Transactions on Computer-Human Interaction by Thomas Berlage posted to collaborative editors interface undo by byorgey on 2008-04-06 13:52:35 as
	Undoing actions in collaborative work [My Copy] In Proceedings of the ACM Conference on Computer Supported Cooperative Work ({CSCW}'92) (1992), pp. 273-280. by A. Prakash, M. J. Knister posted to collaborative editors interface undo by byorgey on 2008-04-06 13:50:18 as
	Recognizing Creative Needs in User Interface Design [My Copy] by Michael T. Elizabeth posted to collaborative editors interface by byorgey on 2008-04-06 13:49:37 as
	Lens sequences [My Copy] (17 Oct 2007) by Jerzy Kocik posted to geometry math number-theory sequences by byorgey on 2007-12-03 20:23:27 as
	Triangular Peg Solitaire Unlimited [My Copy] (5 Nov 2007) by George I. Bell posted to algebra games math by byorgey on 2007-12-03 20:21:52 as
	Towards Open Type Functions for Haskell [My Copy] (2007) by Tom Schrijvers, Martin Sulzmann, Simon Peyton-Jones, Manuel M. T. Chakravarty posted to fp haskell by byorgey on 2007-11-13 18:10:09 as
	A simple proof that $π$ is irrational [My Copy] Bull. Amer. Math. Soc., Vol. 53 (1947), 509. by Ivan Niven posted to calculus irrational math pi by byorgey on 2007-11-12 17:06:19 as
	Constructor specialisation for Haskell programs [My Copy] In ICFP (2007) by Simon P. Jones posted to compilers fp haskell optimization by byorgey on 2007-11-12 16:56:54 as

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

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

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

type-theory	4
lambda-calculus	3
linear-logic	2
dependent-types	2
computation	1
calculus-of-constructions	1
pattern-matching	1
logic	1
natural-deduction	1
views	1
category-theory	1
lambda-cube	1
concurrency	1
substitutions	1
laziness	1
judgments	1
monads	1
semantics	1
polymorphism	1
domain-theory	1
classical	1
awkward-squad	1
types	1
interpreters	1
intuitionism	1
paradox	1
modal-logic	1
introduction	1

darinm's watchlist [more than 800 articles] Export Sort

darinm's tags