glaubersp's library 135 articles Export

	Isabelle HOL - The Tutorial [My Copy] by Tobias Nipkow posted to isabelle logic by glaubersp on 2007-08-22 19:09:38 as
	Isabelle's Logics: HOL [My Copy] by T. Nipkow, L. Paulson, M. Wenzel posted to isabelle logic by glaubersp on 2007-08-22 19:09:21 as
	Data Categories [My Copy] In Proceedings Computing---The Australasian Theory Symp., CATS'96, Melbourne, Australia, 29--30 Jan 1996, Vol. 18 (1996), pp. 21-28. by Barry C. Jay edited by M. E. Houle, P. Eades posted to category datatypes by glaubersp on 2007-04-06 23:34:27 as
	Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types [My Copy] Lecture Notes in Computer Science, Vol. 2044 (2001), pp. 217-??. by Barry C. Jay posted to datatypes functional by glaubersp on 2007-04-06 23:34:09 as
	Functorial Lambda-Calculus [My Copy] (2000) by C. B. Jay posted to category functional by glaubersp on 2007-04-06 23:33:48 as
	Recursive Types in Kleisli Categories [My Copy] (1992) by Alex K. Simpson posted to category recursion types by glaubersp on 2007-04-06 23:33:32 as
	Covariant types [My Copy] Theoretical Computer Science, Vol. 185, No. 2. (1997), pp. 237-258. by Barry C. Jay posted to category types by glaubersp on 2007-04-06 23:32:56 as
	Denotational Semantics for a Higher-Order Extension of the Monadic #-Calculus [My Copy] by C. Hartonas posted to denotational-semantics higher-order monads by glaubersp on 2007-04-06 23:31:21 as
	A Syntax for Linear Logic [My Copy] In Mathematical Foundations of Programming Semantics 9th International Conference, New Orleans, LA, {USA}, Proceedings, Vol. 802 (1993), pp. 513-529. by Philip Wadler edited by S. Brookes, M. Main, A. Melton, M. Mislove, D. Schmidt posted to linear-logic by glaubersp on 2007-04-06 23:30:20 as along with 1 person EdwardKmett
	Parallel Functional Programming --- An Annotated Bibliography [My Copy] No. 93-24. (1993) by Wolfgang Schreiner posted to functional parallel by glaubersp on 2007-04-06 23:29:55 as along with 1 person and 1 group mingguo SIG
	Strong Categorical Datatypes I [My Copy] In Proceedings Int.\ Summer Category Theory Meeting, Montr\'eal, Qu{\'e}bec, 23--30 June 1991, Vol. 13 (1992), pp. 141-169. by Robin, Dwight Spencer edited by R. A. G. Seely posted to category datatypes by glaubersp on 2007-04-06 23:29:24 as along with 1 person msakai
	Linear Logic, Monads and the Lambda Calculus [My Copy] In Logic in Computer Science (1996), pp. 420-431. by P. N. Benton, Philip Wadler posted to lambda-calculus linear-logic monads by glaubersp on 2007-04-06 23:28:03 as
	On an Intuitionistic Modal Logic [My Copy] Studia Logica, Vol. 65, No. 3. (2000), pp. 383-416. by G. M. Bierman, V. C. V. de Paiva posted to modal-logic by glaubersp on 2007-04-06 23:27:33 as along with 1 person and 1 group kozima complogic
	A Cumulative Monadic Metalanguage [My Copy] by Eugenio Moggi posted to monads by glaubersp on 2007-04-06 23:27:15 as
	Monad transformers and modular interpreters [My Copy] In Conference record of POPL '95, 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: San Francisco, California, January 22--25, 1995 (1995), pp. 333-343. by Sheng Liang, Paul Hudak, Mark Jones edited by Ac posted to monads by glaubersp on 2007-04-06 23:26:43 as along with 10 people and 1 group draganigajic greenrd JeffreyPalmer tautologico zednenem Benja jsala conal americovargas pedagand SRG_at_UCD
	Towards a Mobile Haskell [My Copy] (2003) by A. Bois, P. Trinder, H. Loidl posted to haskell mobile by glaubersp on 2007-04-06 23:26:14 as
	Implementing Mobile Haskell [My Copy] (2004) by A. Bois, P. Trinder, H. Loidl posted to haskell mobile by glaubersp on 2007-04-06 23:25:51 as
	Concurrency Abstractions for Concurrent Haskell [My Copy] by Volker Stolz, Frank Huch posted to concurrency haskell by glaubersp on 2007-04-06 23:25:35 as
	A Taste of Linear Logic [My Copy] In Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science, Gd\'ansk (1993) by P. L. Wadler posted to linear-logic by glaubersp on 2007-04-06 23:25:08 as
	Functional Languages and Graphical User Interfaces [My Copy] No. YCS-94-223.ps.Z. (94) by R. Noble, C. Runciman posted to functional io userinterface by glaubersp on 2007-04-06 23:24:24 as
	A Categorical Analysis of Multi-Level Languages [My Copy] (1999) by Benaissa, E. Moggi, W. Taha, T. Sheard posted to category by glaubersp on 2007-04-06 23:23:47 as
	Linear logic, monads and the lambda calculus [My Copy] In Proceedings of the 11th IEEE Symposium on Logic in Computer Science, Brunswick, New Jersey (jul 1996) by N. Benton, P. Wadler posted to lambda-calculus linear-logic monads by glaubersp on 2007-04-06 23:23:14 as along with 4 people and 1 group dherman tautologico ds kozima NU-PRL
	Monads for Programming Languages [My Copy] by John Shutt posted to monads by glaubersp on 2007-04-06 23:22:52 as
	Program calculation properties of continuous algebras [My Copy] (1991) by M. Fokkinga, E. Meijer posted to category by glaubersp on 2007-04-06 23:22:01 as along with 3 people msakai scis0000001 KarlKlose
	Control Categories and Duality: On the Categorical Semantics of the Lambda-Mu Calculus [My Copy] Mathematical Structures in Computer Science, Vol. 11, No. 2. (2001), pp. 207-260. by Peter Selinger posted to category lambda-calculus semantics by glaubersp on 2007-04-06 23:21:36 as
	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 categorical-logic by glaubersp on 2007-04-06 23:21:19 as along with 18 people and 4 groups ama08r jorisslob dalev jrw tautologico zednenem wasi schaal dmitri83 ryanc scis0000001 aleks kaqui keigoi xiemaisi janschaefer mmarcus ps_ttf NU-PRL Compilers AS-IIS_ReadingGroup TU-KL-SoftwareTechnologyGroup
	Constructive Lattice Theory [My Copy] (1993) by Ronald Backhouse posted to category by glaubersp on 2007-04-06 23:21:06 as along with 1 person Constructivity
	Pointwise Relational Programming [My Copy] In AMAST: 8th International Conference on Algebraic Methodology and Software Technology (2000) by De Moor, Gibbons posted to category semantics by glaubersp on 2007-04-06 23:20:48 as
	Lambda Calculi with Types [My Copy] In Handbook of Logic in Computer Science, Volumes 1 (Background: Mathematical Structures) and 2 (Background: Computational Structures), Abramsky \& Gabbay \& Maibaum (Eds.), Clarendon, Vol. 2 (1992) by Henk Barendregt posted to lambda-calculus types by glaubersp on 2007-04-06 23:19:58 as along with 9 people and 1 group darinm pnkfelix tautologico xiemaisi Benja ds mmarcus jimburton d23 AS-IIS_ReadingGroup
	Subtyping dependent types [My Copy] Theoretical Computer Science, Vol. 266, No. 1--2. (2001), pp. 273-309. by David Aspinall, Adriana Compagnoni posted to types by glaubersp on 2007-04-06 23:19:42 as
	Computation and Deduction [My Copy] (2000) by Frank Pfenning posted to no-tag by glaubersp on 2007-04-06 23:19:17 as
	A Guided Tour in the Topos of Graphs [My Copy] by Sebastiano Vigna posted to category graphs by glaubersp on 2007-04-06 23:19:09 as
	Classifying categories for partial equational logic [My Copy] (2002) by L. Schr posted to category equational-logic partial by glaubersp on 2007-04-06 23:18:52 as
	Graph-based logic and sketches ii: Finite product categories and equational logic [My Copy] (1997) by A. Bagchi, C. Wells posted to category by glaubersp on 2007-04-06 23:17:47 as along with 1 person education03
	A Survey of Categorical Computation: Fixed Points, Partiality, Combinators ... Control? [My Copy] Bulletin of the European Association for Theoretical Computer Science, Vol. 43 (1991), pp. 285-312. by D. Spencer posted to category by glaubersp on 2007-04-06 23:17:29 as along with 1 person scis0000001
	Monad-independent dynamic logic in HasCasl [My Copy] In 16th International Workshop, WADT02 (2003) by L. Schröder, T. Mossakowski posted to casl logic monads by glaubersp on 2007-04-06 23:16:51 as along with 1 person jsala
	Formal methods - selected historical references [My Copy] No. UMCS-92-12-2. (1992) by C. B. Jones, A. M. Mccauley posted to formal-methods by glaubersp on 2007-04-06 23:16:18 as along with 1 person ds
	Typed memory management via static capabilities [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 22, No. 4. (2000), pp. 701-771. by David Walker, Karl Crary, Greg Morrisett posted to memory-management types by glaubersp on 2007-04-06 23:15:32 as
	The categorical theory of self-similarity [My Copy] (1999) by P. Hines posted to category by glaubersp on 2007-04-06 23:15:04 as along with 1 person scis0000001
	The Partial Lambda-Calculus [My Copy] (1988) by Eugenio Moggi posted to lambda-calculus partial by glaubersp on 2007-04-06 23:14:25 as
	A Category-Theoretic Characterization of Functional Completeness [My Copy] Theoretical Computer Science, Vol. 70, No. 2. (1990), pp. 193-211. by Giuseppe Longo, Eugenio Moggi posted to category functional by glaubersp on 2007-04-06 23:14:04 as
	Monads and Modular Term Rewriting [My Copy] In Category Theory and Computer Science (1997), pp. 69-86. by Christoph Lueth, Neil Ghani posted to monads by glaubersp on 2007-04-06 23:12:35 as along with 1 person radico
	Monads and Comonads in Intensional Semantics [My Copy] No. CMU-CS-93-140. (1993) by Stephen Brookes, Kathryn Van Stone posted to monads semantics by glaubersp on 2007-04-06 23:11:59 as
	Coalgebraic monads [My Copy] by N. Ghani, C. Uth, F. de Marchi posted to category monads by glaubersp on 2007-04-06 23:11:41 as
	Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic [My Copy] by Alexander Kurz posted to category by glaubersp on 2007-04-06 23:11:21 as
	Recursion and Corecursion have the Same Equational Logic [My Copy] by L. Moss posted to no-tag by glaubersp on 2007-04-06 23:11:02 as
	Categorical Term Rewriting: Monads and Modularity [My Copy] by Christoph Lüth posted to category monads by glaubersp on 2007-04-06 23:10:40 as along with 2 people scis0000001 Scis0000002
	Logical Construction of Final Coalgebras [My Copy] by Luigi Santocanale posted to category by glaubersp on 2007-04-06 23:10:21 as
	Dualizing Initial Algebras [My Copy] by Neil Ghani, Christoph Lüth, Federico de Marchi, John Power posted to category monads by glaubersp on 2007-04-06 23:10:03 as
	Mendler-Style Inductive Types, Categorically [My Copy] Nordic Journal of Computing, Vol. 6, No. 3. (1999), pp. 343-361. by Tarmo Uustalu, Varmo Vene posted to category types by glaubersp on 2007-04-06 23:09:38 as

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

Result page: 1 2 3 Next

monads	48
category	29
functional	12
types	10
haskell	9
linear-logic	6
semantics	6
lambda-calculus	5
concurrency	4
side-effects	4
continuations	3
datatypes	3
higher-order	3
logic	3
mobile	3
isabelle	2
memory-management	2
partial	2
recursion	2
arrows	1
calculus-of-constructions	1
call-by-value	1
casl	1
categorical-logic	1
denotational-semantics	1
dsl	1
equational-logic	1
formal-methods	1
graphs	1
io	1
modal-logic	1
parallel	1
programming	1
prototyping	1
real-time	1
reflection	1
soundness	1
systemf	1
userinterface	1

glaubersp's library 135 articles Export

glaubersp's tags