oryp6518's library 107 articles Export

	Comparing operadic theories of $n$-category [My Copy] (5 Oct 2008) by Eugenia Cheng posted to categories n-cats by oryp6518 on 2009-08-06 13:13:42 as
	Monoidal Globular Categories As a Natural Environment for the Theory of Weakn-Categories [My Copy] Advances in Mathematics, Vol. 136, No. 1. (01 June 1998), pp. 39-103. by M. Batanin posted to 2-cats categories by oryp6518 on 2009-08-03 22:44:14 as along with 2 people vanja_y jonjonc
	The identity type weak factorisation system [My Copy] Theor. Comput. Sci., Vol. 409, No. 1. (2008), pp. 94-109. by Nicola Gambino, Richard Garner posted to categories n-cats type-theory by oryp6518 on 2009-07-28 11:22:33 as
	Comonadic Notions of Computation [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 203, No. 5. (2008), pp. 263-284. by Tarmo Uustalu, Varmo Vene posted to categories coalgebras by oryp6518 on 2009-02-20 19:23:49 as along with 3 people pedagand christiankissig spl
	Notions of Lawvere theory [My Copy] (14 Oct 2009) by Stephen Lack, Jiri Rosicky posted to 2-cats categories lawvere by oryp6518 on 2009-02-20 19:20:46 as along with 2 people christiankissig jrw
	From Comodels to Coalgebras: State and Arrays [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 106 (11 December 2004), pp. 297-314. by J. Power, O. Shkaravska posted to categories coalgebras lawvere monads by oryp6518 on 2009-02-20 19:13:37 as
	Handbook of Categorical Algebra 1: Basic Category Theory [My Copy] Vol. 50 (1994) by Francis Borceux posted to categories by oryp6518 on 2008-11-03 15:37:06 as
	Review of the elements of 2-categories [My Copy] : Category Seminar In Category Seminar, Vol. 420 (1974), pp. 75-103. by G. M. Kelly, Ross Street posted to 2-cats categories by oryp6518 on 2008-10-30 15:15:13 as along with 1 person robinhouston
	The formal theory of monads [My Copy] Journal of Pure and Applied Algebra, Vol. 2 (1972), pp. 149-168. by Ross Street posted to categories distributive-laws monads by oryp6518 on 2008-07-28 15:55:51 as
	Distributive laws for the coinductive solution of recursive equations [My Copy] Inf. Comput., Vol. 204, No. 4. (April 2006), pp. 561-587. by Bart Jacobs posted to categories distributive-laws solutions by oryp6518 on 2008-07-09 12:11:15 as along with 1 person christiankissig
	Universal coalgebra: a theory of systems [My Copy] Theor. Comput. Sci., Vol. 249, No. 1. (October 2000), pp. 3-80. by J. J. M. M. Rutten posted to categories coalgebras by oryp6518 on 2008-07-09 12:05:08 as along with 2 people pirapira msakai
	Formal Specification and Verification of Java Refactorings [My Copy] In SCAM '06: Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (2006), pp. 165-174. by Alejandra Garrido, Jose Meseguer posted to objects refactoring by oryp6518 on 2007-11-02 14:03:48 as along with 1 person yuichi0619
	Intuitionistic reasoning about shared mutable data structure [My Copy] (2000) by J. Reynolds posted to seplogic by oryp6518 on 2007-07-03 11:29:28 as
	Algebras, Coalgebras, Monads and Comonads [My Copy] In Proceedings 4th Workshop on Coalgebraic Methods in Computer Science, CMCS'01, Genova, Italy, 6--7 Apr.\ 2001, Vol. 44(1) (2001) by Neil Ghani, Cristoph Lüth, Federico de Marchi, John Power edited by Andrea Corradini, Marina Lenisa, Ugo Montanari posted to categories by oryp6518 on 2007-06-21 09:47:17 as along with 5 people fvogels draganigajic glaubersp Scis0000002 sclv
	Bananas in Space: Extending Fold and Unfold to Exponential Types [My Copy] In Conf.\ Record 7th ACM SIGPLAN/SIGARCH and IFIP WG 2.8 Int.\ Conf.\ on Functional Programming Languages and Computer Architecture, FPCA'95, La Jolla, San Diego, CA, USA, 25--28 June 1995 (1995), pp. 324-333. by Erik Meijer, Graham Hutton posted to categories fp types by oryp6518 on 2007-06-20 11:01:22 as along with 1 person armintroy
	Nested Datatypes [My Copy] In Proceedings 4th Int.\ Conf.\ on Mathematics of Program Construction, MPC'98, Marstrand, Sweden, 15--17 June 1998, Vol. 1422 (1998), pp. 52-67. by Richard Bird, Lambert Meertens edited by J. Jeuring posted to fp types by oryp6518 on 2007-06-20 10:42:59 as
	De Bruijn Notation as a Nested Datatype [My Copy] Journal of Functional Programming, Vol. 9, No. 1. (1999), pp. 77-91. by Richard S. Bird, Ross Paterson posted to fp types by oryp6518 on 2007-06-20 10:39:24 as along with 1 person conal
	Separation logic: a logic for shared mutable data structures [My Copy] (2002) by J. Reynolds posted to imperative semantics seplogic by oryp6518 on 2007-06-04 12:58:13 as along with 2 people bunge varming
	Local Reasoning about Programs that Alter Data Structures [My Copy] Lecture Notes in Computer Science, Vol. 2142 (2001), pp. 1-??. by Peter O'Hearn, John Reynolds, Hongseok Yang posted to fp imperative semantics by oryp6518 on 2007-06-04 12:57:32 as
	Inductive Graphs and Functional Graph Algorithms [My Copy] Journal of Functional Programming, Vol. 11, No. 5. (2001), pp. 467-492. by M. Erwig posted to fp by oryp6518 on 2007-06-01 11:51:01 as along with 3 people and 2 groups kinaba smazanek kozaki GraphTheory modeling
	Functional Programming with Graphs [My Copy] In Proceedings of the ACM {SIGPLAN} International Conference on Functional Programming ({ICFP} '97), Vol. 32(8) (1997), pp. 52-65. by Martin Erwig posted to no-tag by oryp6518 on 2007-06-01 11:50:04 as
	When is a Function a Fold or an Unfold? [My Copy] In Proceedings 4th Workshop on Coalgebraic Methods in Computer Science, CMCS'01, Genova, Italy, 6--7 Apr.\ 2001, Vol. 44(1) (2001) by Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch edited by Andrea Corradini, Marina Lenisa, Ugo Montanari posted to categories semantics by oryp6518 on 2007-03-20 09:42:40 as
	Fold and Unfold for Program Semantics [My Copy] In Proceedings 3rd ACM {SIGPLAN} Int.\ Conf.\ on Functional Programming, {ICFP}'98, Baltimore, {MD}, {USA}, 26--29 Sept.\ 1998, Vol. 34(1) (1998), pp. 280-288. by Graham Hutton posted to categories semantics by oryp6518 on 2007-03-20 09:35:58 as
	Arrows, like Monads, are Monoids [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXII), Vol. 158 (5 May 2006), pp. 219-236. by Chris Heunen, Bart Jacobs posted to categories computation fp by oryp6518 on 2006-09-21 11:36:25 as along with 6 people and 1 group christiankissig jrw zednenem mstone rgb cognominal pileWorks
	Concepts and paradigms of object-oriented programming [My Copy] SIGPLAN OOPS Mess., Vol. 1, No. 1. (August 1990), pp. 7-87. by Peter Wegner posted to objects by oryp6518 on 2006-06-02 10:51:37 as along with 2 people kistijantoro scottmoody
	Algebra of Programming, The [My Copy] (26 September 1996) by Richard Bird, Oege De Moor posted to fp by oryp6518 on 2006-06-01 12:06:24 as along with 3 people jimburton voigt voronov
	Functional programming with bananas, lenses, envelopes and barbed wire [My Copy] In Proceedings of the 5th ACM conference on Functional programming languages and computer architecture (1991), pp. 124-144. by Erik Meijer, Maarten Fokkinga, Ross Paterson posted to fp by oryp6518 on 2006-06-01 12:02:34 as along with 12 people and 3 groups ama08r Benja greenrd yallop jyasskin voigt dmitri83 aleks rgb bringert wtribbey spl SRG_at_UCD Compilers pileWorks
	Proofs and Types [My Copy] Vol. 7 (1989) by Jean-Yves Girard, Yves Lafont, Paul Taylor posted to type-theory by oryp6518 on 2006-05-29 14:47:42 as along with 2 people and 1 group daqing trc AS-IIS_ReadingGroup
	A Type-theoretic Reconstruction of the Visitor Pattern [My Copy] In 21st Conference on Mathematical Foundations of Programming Semantics by Peter Buchlovsky, Hayo Thielecke posted to patterns by oryp6518 on 2006-05-29 14:27:20 as
	Unifying functional, object-oriented and relational programming with logical semantics [My Copy] (1987), pp. 417-478. by Joseph A. Goguen, Jos&\#233; Meseguer posted to objects by oryp6518 on 2006-05-11 12:32:17 as along with 1 person Scis0000002
	The Calculus of Constructions [My Copy] No. 530. (1986) by Thierry Coquand, Gerard Huet posted to constructions type-theory by oryp6518 on 2006-05-04 14:20:56 as
	What Functional Programmers can Learn from the Visitor Pattern [My Copy] (March 2003) by Konstantin Laufer posted to objects patterns by oryp6518 on 2006-04-11 16:21:23 as
	Making Patterns Explicit with Metaprogramming [My Copy] Lecture Notes in Computer Science, Vol. 2830 (2003), pp. 287-306. by Daniel von Dincklage posted to objects patterns by oryp6518 on 2006-04-11 16:16:52 as along with 1 person yangxian
	Synthesizing Object-Oriented and Functional Design to Promote Re-use [My Copy] Lecture Notes in Computer Science, Vol. 1445 (1998), pp. 91-??. by Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman posted to objects patterns by oryp6518 on 2006-04-11 16:08:50 as along with 1 person bunge
	On the Interaction of Object-Oriented Design Patterns and Programming Languages [My Copy] No. CSD-TR-96-020. (1998) by Gerald Baumgartner, Konstantin Laufer, Vincent F. Russo posted to objects patterns by oryp6518 on 2006-04-11 16:05:37 as
	A UML-Based Metamodeling Language to Specify Design Patterns [My Copy] by D. Kim, R. France, S. Ghosh, E. Song posted to patterns-support by oryp6518 on 2006-03-20 15:55:06 as
	A Formal Mapping between UML Models and Object-Z Specifications [My Copy] Lecture Notes in Computer Science, Vol. 1878 (2000) by S. Kim, D. Carrington posted to patterns-support by oryp6518 on 2006-03-20 15:55:06 as
	Defining Formal Semantics for the Unified Modeling Language [My Copy] by William Andreopoulos posted to patterns-support by oryp6518 on 2006-03-20 15:55:06 as
	Analysis and Comparison of Formalization Approaches of UML class constructs in Z and Object-Z [My Copy] by Nuno Amalio, Fiona Polack posted to patterns-support by oryp6518 on 2006-03-20 15:55:06 as
	A formal semantics of UML Statecharts by model transition systems [My Copy] In Proceedings of ICGT 2002, accepted paper (2002) by D. Varro posted to patterns-support by oryp6518 on 2006-03-20 15:55:05 as
	A Framework for Semantics of UML Sequence Diagrams in PVS [My Copy] by Demissie B. Aredo posted to patterns-support by oryp6518 on 2006-03-20 15:55:04 as
	Semantics of UML Sequence Diagrams in PVS [My Copy] by Demissie B. Aredo posted to patterns-support by oryp6518 on 2006-03-20 15:55:03 as
	Design pattern modelling and instantiation using DPML [My Copy] In Proceedings of the Fortieth International Confernece on Tools Pacific (2002), pp. 3-11. by D. Mapelsden, J. Hosking, J. Grundy posted to patterns-support by oryp6518 on 2006-03-20 15:55:01 as
	Precise Modeling of Design Patterns [My Copy] In {UML} 2000 - The Unified Modeling Language. Advancing the Standard. Third International Conference, York, {UK}, October 2000, Proceedings, Vol. 1939 (2000), pp. 482-496. by A. Guennec, G. Sunyé, J. M. Jézéquel edited by Andy Evans, Stuart Kent, Bran Selic posted to patterns-support by oryp6518 on 2006-03-20 15:55:01 as
	Transformations for Introducing Patterns --- Secure Systems Case-Study [My Copy] by Jan Jürjens posted to patterns-support by oryp6518 on 2006-03-20 15:55:01 as
	The UML Profile of Framework Architectures [My Copy] (2000) by M. Fontoura, W. Pree, B. Rumpe posted to patterns-support by oryp6518 on 2006-03-20 15:55:01 as
	Foundations of the Unified Modeling Language [My Copy] In 2nd Northern Formal Methods Workshop (1998) by A. Evans, A. Clark posted to patterns-support by oryp6518 on 2006-03-20 15:55:01 as
	Reasoning with UML class diagrams [My Copy] In Second {IEEE} Workshop on Industrial Strength Formal Specification Techniques, {WIFT}'98 (1998) by Andy S. Evans posted to patterns-support by oryp6518 on 2006-03-20 15:55:01 as
	The UML as a Formal Modeling Notation [My Copy] In Proceedings {OOPSLA}'97 Workshop on Object-oriented Behavioral Semantics (1997), pp. 75-81. by R. France, A. Evans, K. Lano edited by Haim Kilov, Bernhard Rumpe, Ian Simmonds posted to patterns-support by oryp6518 on 2006-03-20 15:55:01 as
	Objects and classes, coalgebraically [My Copy] In Object-Orientation with Parallelism and Persistence (1996), pp. 83-103. by Bart P. F. Jacobs edited by B. Freitag, C. B. Jones, C. Lengauer, H. J. Schek posted to patterns-support by oryp6518 on 2006-03-20 15:55:01 as

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

Result page: 1 2 3 Next

patterns-support	68
categories	16
objects	9
fp	8
types	6
patterns	5
type-theory	5
semantics	4
2-cats	3
coalgebras	3
constructions	3
distributive-laws	2
imperative	2
lawvere	2
monads	2
n-cats	2
seplogic	2
simple-types	2
computation	1
refactoring	1
solutions	1

oryp6518's library 107 articles Export

oryp6518's tags