% Me @string{cbj="Jay, C.B."} % Publisher @string{ap="Academic Press"} @string{cup="Cambridge University Press"} @string{nh="North Holland"} @string{sv="Springer Verlag"} @string{ams="American Mathematical Society"} % Institutions-Schools @string{cmum="Carnegie-Mellon Univ., Dept. of Math."} @string{cmucs="Carnegie-Mellon Univ., Dept. of Comp. Sci."} @string{cucs="Cornell Univ., Dept. of Comp. Sci."} @string{eth="E.T.H. Z{\"u}rich"} @string{eucs="Edinburgh Univ., Dept. of Comp. Sci."} @string{mit="Massachusetts Institute of Technology"} @string{prg="Oxford University Computing Laboratory"} @string{uts="University of Technology, Sydney"} % Organizations @string{acm="ACM"} @string{ieee="IEEE"} @string{bl="Bell Laboratories"} % Journals @string{a&l="Algebra and Logic"} @string{aml="Annals of Mathematical Logic"} @string{amstran="Trans.\ AMS"}, @string{au="Algebra Universalis"} @string{cahiers="Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques"} @string{cmsjb="Colloquia Mathematica Societatis Janos Bolyai"}, @string{dm="Dissertationes Mathematicae"} @string{fm="Fundamenta Matematicae"} @string{ic="Information and Computation"} @string{im="Indagationes Mathematicae"} @string{jcss="JCSS"} @string{jpaa="Journal of Pure and Applied Algebra"} @string{jsl="Journal of Symbolic Logic"} @string{mpcps="Math. Proc. Camb. Phil. Soc."} @string{rmup="Rivista Matematica dell' Universita' di Parma"} @string{siamjc="SIAM Journal of Computing"} @string{tpls="ACM Trans. on Progr. Lang. and Sys."} @string{tcs="Theoretical Computer Science"} @string{zml="Zeitschrift f{\"u}r Mathematische Logik"} @string{zmlgm="Zeitschr. f. math. Logik und Grundlagen d. Math."} % Series @string{lncs="Lecture Notes in Computer Science"} @string{lnm="Lecture Notes in Mathematics"} @string{csam="Cambridge Studies in Advanced Mathematics"} @string{sl="Studies in Logic"} % Collections @string{ash="Applications of Sheaves"} @string{asls82="Atti della Scuola di Logica di Siena, 1982"} @string{bcs="The L.E.J. Brouwer Centenary Symposium"} @string{hbc="To H.B. Curry: essays in Combinarory Logic, lambda calculus and Formalisms"} @string{hml="Handbook of Mathematical Logic"} @string{hphl="Handbook of Philosophical Logic"} @string{ssdt="Symp. on Semantics of Data Types"} %Proceedings @string{caap85="CAAP '85"} @string{fcs22="22th Symp. on Foundations of Computer Science"} @string{fcs25="25th Symp. on Foundations of Computer Science"} @string{icalp9="9th Colloquium on Automata, Languages and Programming"} @string{icalp16="16th Colloquium on Automata, Languages and Programming"} @string{lc73="Logic Colloquium '73"} @string{lc75="Logic Colloquium '75"} @string{lc82="Logic Colloquium '82"} @string{lp83="Logics of Programs '83"} @string{lp84="Logics of Programs '84"} @string{lp85="Logics of Programs '85"} @string{lics1="1st LICS Conf."} @string{lics2="2nd LICS Conf."} @string{lics3="3rd LICS Conf."} @string{lics4="4th LICS Conf."} @string{mfcs81="Math. Found. of Comp. Sci. '81"} @string{mfcs84="Math. Found. of Comp. Sci. '84"} @string{popl10="10th POPL"} @string{popl11="11th POPL"} @string{popl12="12th POPL"} @string{popl13="13th POPL"} @string{popl14="14th POPL"} @string{popl15="15th POPL"} @string{popl16="16th POPL"} @string{popl17="17th POPL"} @string{ps74="Programming Symposium '74"} @string{sls2="2nd Scandinavian Logic Symp."} % Bibliography @Article(Jay86, Author={Jay, C.B.}, Title={Lambek's operational categories}, Journal="Bulletin of the Australian Mathematical Society", Volume=33, Year=1986, Pages={161--176}) @Article(Jay89a, Author={Jay, C.B.}, Title={Local adjunctions}, Journal=jpaa, Volume=53, Year=1988, Pages={227--238}) @Article(Jay89b, Author={Jay, C.B.}, Title={Languages for monoidal categories}, Journal=jpaa, Volume=59, Year=1989, Pages={61--85}) @TechReport(SJM89, Author={Steffen, B. and Jay, C.B. and Mendler, M.}, Title={Compositional characterisation of observable program properties}, Institution=eucs, Number={ECS-LFCS 89-99}, Year=1989) @Article(Jay90a, Author={Jay, C.B.}, Title={Languages for triples, bicategories and braided monoidal categories}, Journal=cahiers, Volume=31, Number=1, Year=1990, Pages={67--81}) @TechReport(Jay90b, Author={Jay, C.B.}, Title={Extending properties to categories of partial maps}, Institution=eucs, Number={ECS-LFCS 90--107}, Year=1990) @Article(Jay90c, Author={Jay, C.B.}, Title={The structure of free closed categories}, Journal=jpaa, Volume=66, Year=1990, Pages={271--285}) @Article(Jay90d, Author={Jay, C.B.}, Title={A note on natural numbers objects in monoidal categories}, Journal="Studia Logica", Volume=48, Number=3, Year=1990, Pages={389--93}) @TechReport(Jay91a, Author={Jay, C.B.}, Title={Tail recursion via universal invariants}, Institution=eucs, Number={ECS-LFCS-91--151}, Year=1991) @InProceedings(Jay91b, Author={Jay, C.B.}, Title={Tail recursion from universal invariants}, Booktitle="Category Theory and Computer Science Paris, France, September 1991 Proceedings", Editor="D.H. Pitt et al", Series=lncs, Volume=530, Publisher=sv, Year=1991, Pages={151--163}) @InProceedings(Jay91c, Author={Jay, C.B.}, Title={Partial functions, ordered categories, limits and cartesian closure}, Booktitle="IV Higher Order Workshop, Banff, 1990", Editor="G. Birtwistle", Series="Workshops in Computing", Publisher=sv, Year=1991, Pages={151--161}) @InProceedings(Jay91d, Author={Jay, C.B.}, Title={Fixpoint and loop constructions as colimits}, Booktitle="Proceedings Summer Conference on Category Theory, Como 1990", Editor="A.~Carboni, M.C.~Pedicchio and G.~Rosolini", Series=lnm, Volume=1488, Publisher=sv, Year=1991, Pages={187--192}) @TechReport(Jay91e, Author={Jay, C.B.}, Title={Long $\beta\eta$ normal forms and confluence}, Institution=eucs, Number={ECS-LFCS-91-183}, Year=1991) @TechReport(Jay91f, Author={Jay, C.B.}, Title={Modelling reduction in confluent categories}, Institution=eucs, Number={ECS-LFCS-91-187}, Year=1991) @Article(Jay92a, Author={Jay, C.B.}, Title={Coherence in category theory and the {C}hurch-{R}osser property}, Journal="Notre Dame J. of Formal Logic", Volume=33, Number=1, Year=1992, Pages={140--143}) @InProceedings(Jay92b, Author={Jay, C.B.}, Title={Modelling reduction in confluent categories}, Booktitle="Proceedings of the Durham Symposium on Applications of Categories in Computer Science", Editor="M.~Fourman et al", Series="London Mathematics Society Workshops in Computing", Volume=177, Publisher=cup, Year=1992, Pages={143--162}) @TechReport(Jay92c, Author={Jay, C.B.}, Title={Program loops and loops in categories}, Institution=eucs, Number={ECS-LFCS-92-205}, Year=1992) @Article(SJM92, Author={Steffen, B. and Jay, C.B. and Mendler, M.}, Title={Compositional characterisation of observable program properties}, Journal={Theoretical Informatics and Applications}, Volume=26, Year=1992, Pages={403--424} ) @Article(JG92, Author={Jay, C.B. and Ghani, N.}, Title={The virtues of eta-expansion}, Journal={J. of Functional Programming}, Volume=5, Number=2, Year=1995, Pages={135-154}, Note={Also appeared as tech. report ECS-LFCS-92-243.}) @Article(Jay93a, Author={Jay, C.B.}, Title={Tail recursion through universal invariants}, Journal=tcs, Volume=115, Year=1993, Pages={151--189}) @TechReport(Jay93b, Author={Jay, C.B.}, Title={An introduction to categories in computing}, Institution=uts, Number={UTS-SOCS-93.9}, Year=1993) @TechReport(Jay93c, Author={Jay, C.B.}, Title={Matrices, monads and the fast {F}ourier transform}, Institution=uts, Number={UTS-SOCS-93.13}, Year=1993 ) @InProceedings(Jay95a, Author={Jay, C.B.}, Title={Polynomial Polymorph\-ism}, Booktitle={Proceedings of the Eighteenth {A}ustralasian Computer Science Conference: {G}lenelg, {S}outh {A}ustralia 1--3 {F}ebruary, 1995}, Publisher={ACS Communications}, Volume = {17}, Editor={Kotagiri, R.}, Year=1995, Pages={237--243}) @Misc{Jay95m, OPTcrossref = "", OPTkey = "", author = cbj, title = "P2", howpublished = "available by ftp", year = "1995", OPTmonth = "", note = "A programming language supporting polynomial polymorphism ", OPTannote = "" } @TechReport(JC94a, Author={Jay, C.B. and J.R.B. Cockett}, Title={Shapely Types and Shape Polymorphism: Extended Version}, Institution=uts, Number={UTS-SOCS-94-??}, Year=1994, ) @InProceedings(JC94b, Author={Jay, C.B. and J.R.B.~Cockett}, Title={Shapely Types and Shape Polymorphism}, Booktitle={Programming Languages and Systems -- ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 1994, Proceedings}, Editor={Sannella, D.}, Series="Lecture Notes in Computer Science", volume= {788}, Publisher=sv, Year=1994, Pages={302--316} ) Manuscript(Jay94b, Author={Jay, C.B.}, Title={Shapely Types: Exploiting Parseability}, Year=1994, Note={revised, and retitled as "A semantics for shape"} ) @InProceedings(Jay94c, Author={Jay, C.B.}, Title={A survey of shapely types}, Booktitle="Proceedings of {\em Computing: the Australian Theory Seminar}, University of Technology, Sydney, 17-19 December, 1994", Editor={Jay, C.B.}, Publisher=uts, Year=1994, Pages={81--88} ) @Proceedings(Jay94d, Title={Proceedings of Computing: the Australian Theory Seminar: University of Technology, Sydney 17--19 December, 1994}, Year=1994, Editor={Jay, C.B.} ) @Article{Jay94e, author = cbj, title = "Finite Objects in a Locos", Journal = {Journal of Pure and Applied Algebra}, volume = {116}, pages={169--83}, year = 1997} @InProceedings(Jay94f, Author={Jay, C.B.}, Title={Matrices, monads and the fast {F}ourier transform}, Booktitle={Proceedings of the Massey Functional Programming Workshop 1994}, Editors={Leslie, N. and Perry, N}, Year=1994, Pages={71--80} ) @Article{Jay95b, Author= cbj, Title={A semantics for shape}, Journal={Science of Computer Programming}, Volume=25, Year={1995}, Pages={251--283} } @Inproceedings{Jay95c, author = cbj, title = "Data categories", booktitle={Computing: The Australasian Theory Symposium Proceedings, Melbourne, Australia, 29--30 January, 1996}, editor={Houle, M.E. and Eades, P.}, publisher={Australian Computer Science Communications}, volume={18}, note={ISSN 0157--3055}, pages={21--28}, year=1996 } @TechReport{Jay95d, author = cbj , title = "Covariant types", institution = uts, note = {to appear in {TCS} in 1997 }, year = "1995" } @InProceedings{Jay95e, author = cbj, title = "A fresh look at parametric polymorphism: covariant types", Booktitle={Nineteenth Australasian Computer Science Conference Proceedings, Melbourne, Australia, 31 January -- 2 February, 1996}, editor={R. Kotagiri}, publisher={Australian Computer Science Communications}, volume={18}, note={ISSN 0157--3055}, pages={525--534}, year = 1996 } @InProceedings{Jay95f, author = cbj, title = "Shape Analysis for Parallel Computing", OPTcrossref = "", OPTkey = "", editor = "Darlington, J.", OPTvolume = "", OPTnumber = "", OPTseries = "", pages = "287--298", booktitle = "Proceedings of the fourth international parallel computing workshop: {I}mperial {C}ollege {L}ondon, 25--26 {S}eptember, 1995", year = "1995", OPTorganization = "", publisher = "Imperial College/Fujitsu Parallel Computing Research Centre", OPTaddress = "", OPTmonth = "", OPTnote = "", OPTannote = "" } @TechReport{Jay95g, author = cbj, title = {Type-free term reduction for covariant types}, institution = uts, year = 1996, OPTkey = {}, OPTtype = {}, number = {96.07}, OPTaddress = {}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @InProceedings{JCE95, author = {Jay, C.B. and Clarke, D.G. and Edwards, J.J.}, title = {Exploiting Shape in Parallel Programming}, booktitle = {1996 IEEE Second International Conference on Algorithms and Architectures for Parallel Processing: Proceedings}, publisher={IEEE}, year = {1996}, pages = {295--302}, } @Article{Jay95h, author = cbj, title = "Shape in computing", OPTcrossref = "", OPTkey = "", journal = "{ACM} Computing Surveys", year = "1996", volume = "28", number = "2", pages = "355--357", OPTmonth = "", OPTannote = "" } @Article{JaySta96, author = {Jay, C.B. and Staples, J.}, title = {Preface to a special issue on {A}ustralasian research}, journal = tcs, year = {1996}, OPTkey = {}, volume = {169}, number = {1}, OPTmonth = {}, OPTpages = {}, note = {Editors}, OPTannote = {} } @InProceedings{BJM96, author = {Bell{\'e}, G. and Jay, C. B. and Moggi, E.}, title = {Functorial {ML}}, Booktitle={PLILP '96}, Volume={1140}, Series={LNCS}, Publisher={Springer Verlag}, year = 1996, pages = {32--46}, note ={TR SOCS-96.08, and accepted for J. Functional Programming} } @TechReport(JS96, Author={Jay, C.B. and Sekanina, M.}, Title={Shape checking of array programs}, Institution=uts, Number={96.09}, Year=1996 ) @TechReport{JN96, author = {Jay, C.B. and Noble, J.}, title = {Shaping object-oriented programs}, institution = uts, year = {1996}, OPTkey = {}, OPTtype = {}, number = {96-16}, OPTaddress = {}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @Misc{JCSS96, author = {Jay, C.B. and Cole, M. and Sekanina, M. and Steckler, P.A.}, title = {A Monadic Calculus for Parallel Costing in a Functional Language of Arrays}, year = {1996}, OPTkey = {}, OPTtype = {}, OPTnumber = {}, OPTaddress = {}, OPTmonth = {}, note = {submission to {\em International Conference on Functional Programming}}, OPTannote = {} } @InProceedings{JS97, author = {Jay, C.B. and Sekanina, M.}, title = {Shape checking of array programs}, booktitle = {Computing: the {A}ustralasian Theory Seminar, Proceedings, 1997}, OPTcrossref = {}, OPTkey = {}, OPTeditor = {J.~Harland}, volume = {19}, series = {Australian Computer Science Communications}, year = {1997}, OPTorganization = {}, OPTpublisher = {}, OPTaddress = {}, OPTmonth = {}, pages = {113--121}, note = {}, OPTannote = {} } @InProceedings{JCSS97, author = {C.B. Jay and M.I. Cole and M. Sekanina and P.A. Steckler}, title = {A Monadic Calculus for Parallel Costing of a Functional Language of Arrays}, booktitle = {Euro-Par{'}97 Parallel Processing}, editor = {C. Lengauer and M. Griebl and S. Gorlatch}, volume = {1300}, series = {Lecture Notes in Computer Science}, year = {1997}, publisher = {Springer}, month = {August}, pages = {650--661}, } @InProceedings{Jay97, author = {C.B. Jay}, title = {Separating shape from data}, booktitle = {Category theory and computer science: 7th international conference, CTCS'97, Santa Margherita Ligure, Italy, September 1997 Proceedings}, editor = {E. Moggi and G. Rosolini}, volume = {1290}, OPTnumber = {}, series = lncs, year = {1997}, pages = {47--48}, OPTorganization = {}, publisher = sv } @Article{Jay97b, author = cbj, title = {Covariant types}, journal = tcs, year = {1997}, volume = {185}, pages = {237--258} } @TechReport{PJ97, author = {Palsberg, J. and Jay, C.B.}, title = {The Essence of the Visitor Pattern}, institution = uts, year = {1997}, number = {05}, note = {COMPSAC'98, to appear} } @TechReport{JSt97, author = {Jay, C.B. and Steckler, P.A.}, title = {{The {F}unctional {I}mperative: {Sh}ape!}}, institution = uts, year = 1997, OPTkey = {}, OPTtype = {}, number = {06}, OPTaddress = {}, OPTmonth = {}, note = {20 pp}, OPTannote = {} } @InProceedings{JSt98, author = {Jay, C.B. and Steckler, P.A.}, title = {The functional imperative: shape!}, booktitle = {Programming languages and systems: 7th European Symposium on Programming, {ESOP'98} Held as part of the joint european conferences on theory and practice of software, {ETAPS'98} Lisbon, Portugal, March/April 1998}, editor = {Chris Hankin}, volume = {1381}, OPTnumber = {}, series = lncs, year = {1998}, OPTorganization = {}, publisher = sv, OPTaddress = {}, OPTmonth = {}, pages = {139--53}, OPTannote = {} } @TechReport{JSt98b, author = {Jay, C.B. and Steckler, P.A.}, title = {Polymorphism over Nested Regular Arrays: theory and implementation in {FISh}}, institution = uts, year = 1998, OPTkey = {}, OPTtype = {}, number = {01}, OPTaddress = {}, OPTmonth = {}, note = {Presented at FMCS'98 }, OPTannote = {} } @Article{JBM98, author = {Jay, C.B. and Bell{\`e}, G. and Moggi, E.}, title = {Functorial {ML}}, journal = {Journal of Functional Programming}, year = {1998}, volume = {8}, number = {6}, OPTmonth = {}, pages = {573--619}, OPTannote = {} } @Misc{FiSh97, OPTkey = {}, author = cbj, title = {FiSh v 0.4}, howpublished = {}, year = {1997}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @InProceedings{JMB98, author = {Jay, C.B. and Moggi, E. and Bell{\`e}, G. }, title = {Functors, types and shapes}, booktitle = {Workshop on Generic Programming: Marstrand, Sweden, 18th June, 1998}, editor = {Backhouse, R. and Sheard, T.}, year = {1998}, publisher = {Chalmers University of Technology}, pages = {21-4}, } @InProceedings{PJN98, author = {Palsberg, J. and Jay, C.B. and Noble, J.}, title = {Experiments with generic visitors}, booktitle = {Workshop on generic programming: Marstrand, Sweden, 18th June, 1998}, editor = {Backhouse, R. and Sheard, T.}, year = {1998}, pages = {81--4} } @InBook{Jay98, author = cbj, title = {Research Directions in Parallel Functional Programming, K.~Hammond and G.J.~Michaelson (eds)}, chapter = {9: Shaping Distributions}, publisher = {Springer-Verlag}, year = {1999}, OPTkey = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTedition = {}, OPTmonth = {}, pages = {219--232}, OPTtype = {}, OPTannote = {} } @Misc{Jay98b, OPTkey = {}, author = cbj, title = {Poly-dimensional regular arrays in {FISh}}, OPThowpublished = {}, year = {1998}, month = {{A}pril}, note = {superceded}, OPTannote = {} } @Misc{Jay98c, OPTkey = {}, author = cbj, title = {Poly-dimensional array programming}, howpublished = {{\tt http://www-staff.socs.uts.edu.au/\~{}cbj/Publications/polydimensional2.ps.gz}}, year = {1998}, month = {{A}ugust}, note = {}, OPTannote = {} } @TechReport{MBJ98, author = {Moggi, E and Bell\`{e} and Jay, C.B.}, title = {Monads, Shapely Functors and Traversals}, institution = {Universit\`{a} di Genova}, year = {1998}, OPTkey = {}, OPTtype = {}, number = {DISI-TR-98-06}, OPTaddress = {}, OPTmonth = {}, note = {abstract appeared in WGP'98}, OPTannote = {} } @InProceedings{MBJ99, author = {Moggi, E and Bell\`{e} and Jay, C.B.}, title = {Monads, Shapely Functors and Traversals}, booktitle = {Proceedings of the Eighth Conference on Category Theory and Computer Science (CTCS'99)}, OPTcrossref = {}, OPTkey = {}, editor = {Hoffman, M. and Pavlovi\'c and Rosolini, P.}, volume = {24}, OPTnumber = {}, series = {Electronic Lecture Notes in Computer Science}, year = {1999}, OPTorganization = {}, publisher = {Elsevier}, OPTaddress = {}, OPTmonth = {}, pages = {265--286}, OPTnote = {}, OPTannote = {} } @InProceedings{PalsbergJay97, author = "Jens Palsberg and C. Barry Jay", title = "The Essence of the Visitor Pattern", booktitle = "Proceedings of COMPSAC'98, 22nd Annual International Computer Software and Applications Conference", pages = "9--15", month = "Vienna, Austria, August", year = 1998} @Misc{FISh, key = {FISh}, title = {FISh web-site}, howpublished = {{\tt http://www-staff.socs.uts.edu.au/\~{}cbj/FISh}} } @Misc{Jay98d, author = cbj, title = {The {FIS}h language definition}, howpublished = {{\tt http://www-staff.socs.uts.edu.au/\~{}cbj/Publications/fishdef.ps.gz}}, year = {1998}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @Article{Jay98e, author = cbj, title = {Costing parallel programs as a function of shapes}, journal = {Science of Computer Programming}, vol = {37}, OPTkey = {}, year = {2000}, note = {}, pages = {207--224}, OPTannote = {} } @InProceedings{Jay99a, author = cbj, title = {Partial evaluation of shaped programs: experience with {FISh}}, booktitle = {ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '99) San Antonio, Texas, January 22-23, 1999: Proceedings }, editor = {Danvey, O.}, year = {1999}, publisher = {{BRICS}}, OPTaddress = {}, OPTmonth = {}, pages = {147--158}, OPTnote = {}, OPTannote = {} } @InProceedings{Jay99b, author = cbj, title = {Denotational Semantics of Shape: Past, Present and Future}, booktitle = {Fifteenth Conference on the Mathematical Foundations of Programming Semantics (MFPS XV) Tulane University New Orleans, LA USA April 28 - May 1, 1999: Proceedings}, editor = {Scedrov, A. and Jung, A.}, volume = {20}, OPTnumber = {}, series = {Electronic Notes in Computer Science}, year = {1999}, OPTorganization = {}, publisher = {Elsevier}, OPTaddress = {}, OPTmonth = {}, pages = {197--210}, OPTannote = {} } @Article{Jay99c, author = cbj, title = {Programming in {FISh}}, journal = {International Journal on Software Tools for Technology Transfer}, year = {1999}, OPTkey = {}, volume = {2}, OPTnumber = {}, OPTmonth = {}, OPTpages = {307--315}, note = {}, OPTannote = {} } @Article{Jay99d, author = cbj, title = {Partial evaluation of shaped programs: experience with {FISh}}, year = {1999}, OPTkey = {}, OPTvolume = {}, OPTnumber = {}, OPTmonth = {}, pages = {23 pp}, OPTannote = {} } @InBook{Jay99e, title = {Research Directions in Parallel Functional Programming}, chapter = {9:Shaping Distributions}, publisher = {Springer}, year = {1999}, OPTkey = {}, editor = {Hammond, K. and Michaelson, G.} }, author = cbj OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTedition = {}, OPTmonth = {}, OPTpages = {}, OPTtype = {}, OPTannote = {} } @Misc{Jay00a, author = cbj, title = {Functorial lambda-calculus}, howpublished = {{\tt http://www-staff.socs.uts.edu.au/\~{}cbj/Publications/flambda.ps.gz}}, year = {2000}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @InProceedings{jaykeller00, author = {Jay,C.B. and Keller, G.}, title = {Towards Dynamic Shaping}, booktitle = {Communication-Based Systems: Proceedings of the 3rd International Workshop held at the TU Berlin, Germany, 31 March - 1 April 2000}, editor = {Hommel, Günter}, OPTcrossref = {}, OPTkey = {}, pages = {103-110}, year = {2000}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, publisher = {Kluwer Academic Publishers}, note = {ISBN 0-7923-6173-3}, OPTannote = {} } @InProceedings{lpj00, author = {Lederer, B. and Plekhanova, V. and Jay, C.B.}, title = {Teaching a capstone subject in computer science -- a variety engineering approach}, booktitle = {Proceedings of the 23rd Australasian Computer Science Conference ACSC 2000 Canberra, Australia January 31 -- February 3, 2000.}, OPTcrossref = {}, OPTkey = {}, pages = {136--142}, year = {2000}, editor = {Jenny Edwards}, volume = {22}, OPTnumber = {1}, series = {Australian Computer Science Communications}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, publisher = {Computer Science Association}, OPTnote = {}, OPTannote = {} } @Misc{Jay00c, author = cbj, title = {The Functional Imperative}, howpublished = {{\tt http://www-staff.it.uts.edu.au/ \~{}cbj/Publications/imperatives.ps}}, year = {2000}, OPTmonth = {}, note = {}, OPTannote = {} } @InProceedings{Jay01a, author = cbj, title = {Distinguishing Data Structures and Functions: the Constructor Calculus and Functorial Types}, booktitle = {Typed Lambda Calculi and Applications: 5th International Conference TLCA 2001, Krak\'ow, Poland, May 2001 Proceedings}, pages = {217-239}, year = {2001}, editor = {S. Abramsky}, volume = {2044}, OPTnumber = {}, series = lncs, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, publisher = {Springer}, OPTnote = {}, OPTannote = {} } @Misc{Jay02, author = cbj, title = {The constructor calculus}, howpublished = {\url{http://www-staff.it.uts.edu.au/\~{\ }cbj/Publications/constructors.ps}}, year = {2002}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @InProceedings{JLN04, author = {Jay,C.B.\ and Lu, H.Y.\ and Nguyen, Q.T.}, title = {The Polymorphic Imperative}, booktitle = {Computing:The Australasian Theory Symposium 2004}, OPTcrossref = {}, OPTkey = {}, pages = {192--206}, year = {2004}, editor = {Atkinson, Mike }, volume = {91}, series = {Electronic Notes in Theoretical Computer Science}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, publisher = {Science Direct}, OPTnote = {}, OPTannote = {} } @Misc{JLN02, key = {JLN}, author = {Jay,C.B.\ and Lu, H.Y.\ and Nguyen, Q.T.}, title = {The Polymorphic Imperative}, howpublished = {\url{http://www-staff.socs.uts.edu.au/\~{}cbj/Publications/imperatives.ps}}, OPTmonth = {}, year = {2002}, OPTnote = {}, OPTannote = {} } @Misc{Jay03a, author = cbj, title = {The constructor calculus (revised)}, howpublished = {\url{http://www-staff.it.uts.edu.au/\~{}cbj/Publications/constructors3.ps}}, year = {2003}, OPTmonth = {}, note = {(renamed as "The pattern calculus") }, OPTannote = {} } @Misc{Jay03b, author = cbj, title = {The pattern calculus}, howpublished = {\url{http://www-staff.it.uts.edu.au/\~{}cbj/Publi\-cations/pattern\_calculus.\{ps\}\{pdf\}}}, year = {2003}, OPTmonth = {}, note = {(accepted for publication by ACM Trans. on Progr. Lang. and Sys.)}, OPTannote = {} } @InProceedings{Jay03c, author = cbj, title = {Methods as pattern-matching functions}, booktitle = {Foundations of Object-Oriented Languages, 2004}, pages = {16 pp}, year = {2004}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, OPTpublisher = {}, note = {\url{http://www.doc.ic.ac.uk/~scd/FOOL11/patterns.pdf}}, OPTannote = {} } @Misc{Jay04a, OPTkey = {}, author = cbj, title = {Higher-Order Patterns (unpublished)}, OPThowpublished = {}, OPTmonth = {}, year = {2004}, OPTnote = {}, OPTannote = {} } @Article{Jay04b, author = cbj, title = {The pattern calculus}, journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)}, year = 2004, OPTkey = {}, volume = {26}, number = {6}, pages = {911--937}, month = {November}, OPTnote = {}, OPTannote = {} } @Misc{Jay04c, OPTkey = {}, author = {cbj}, title = {Unifiable Subtyping}, howpublished = {\url{www-staff.it.uts.edu.au/~cbj/Publications/unifiable\_subtyping.pdf}}, OPTmonth = {}, year = {2004}, OPTnote = {}, OPTannote = {} } @Misc{Jay04d, OPTkey = {}, author = {cbj}, title = {bondi}, howpublished = {\url{www-staff.it.uts.edu.au/~cbj/bondi}}, OPTmonth = {}, year = {2004}, OPTnote = {}, OPTannote = {} } @Misc{JK05, author = {Jay, Barry and Kesner, Delia}, title = {Pure pattern calculus}, howpublished = {\url{www-staff.it.uts.edu.au/~cbj/Publications/purepattern.pdf}}, year = {2005}, note = {ESOP'06, to appear} } @Misc{Jay05a, OPTkey = {}, author = {Jay, Barry}, title = {Polymorphic pattern calculus}, howpublished = {\url{www-staff.it.uts.edu.au/~cbj/Publications/polypatterns.pdf}}, OPTmonth = {}, year = {2005}, OPTnote = {}, OPTannote = {} } @Misc{Jay05b, OPTkey = {}, author = {Jay, Barry}, title = {Pattern matching against functions}, howpublished = {\url{www-staff.it.uts.edu.au/~cbj/Publications/casematching.pdf}}, OPTmonth = {}, year = {2005}, OPTnote = {}, OPTannote = {} } @InProceedings{MJ06, author = {Clara Murdaca and Barry Jay}, title = {A Relational Account of Objects}, booktitle = {Proceedings of ACSC'06}, pages = {297--302}, year = {2006}, editor = {Estivill-Castro, Vladimir and Dobbie, Gillian}, volume = {48(1)}, series = {Australian Computer Science Communications} } @InProceedings{HJS06, author = {Freeman Huang and Barry Jay and David Skillicorn}, title = {Programming with Heterogeneous Structures: Manipulating XML data Using {\bf bondi}}, booktitle = {Twenty-Ninth Australasian Computer Science Conference (ACSC2006)}, pages = {287--296}, year = {2006}, editor = {Estivill-Castro, Vladimir and Dobbie, Gillian}, volume = {48(1)}, series = {Australian Computer Science Communications} } @Proceedings{CATS06, Title = {Twelfth Computing: The Australasian Theory Symposium (CATS2006)}, Editor = {Gudmundsson, Joachim and Jay, Barry}, Series= {CRPIT}, Address= {Hobart, Australia}, Publisher = {ACS}, Volume = {51}, URL = {http://crpit.com/Vol51.html}, Year = {2006} } @Misc{bondi, key = {bondi}, OPTauthor = {}, title = {bondi programming language}, howpublished = {\url{www-staff.it.uts.edu.au/~cbj/bondi}}, OPTmonth = {}, year = {}, url = {www-staff.it.uts.edu.au/~cbj/bondi}, OPTannote = {} } @inproceedings{JayK06, author = {Barry Jay and Delia Kesner}, title = {Pure Pattern Calculus.}, booktitle = {Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27--28, 2006, Proceedings (ed: P.~Sestoft)}, year = {2006}, note = {Revised version at \url{www-staff.it.uts.edu.au/~cbj/Publications/purepatterns.pdf}}, pages = {100-114}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{esop_2006, editor = {Peter Sestoft}, title = {Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings}, booktitle = {ESOP}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {3924}, year = {2006}, isbn = {3-540-33095-X}, bibsource = {DBLP, http://dblp.uni-trier.de} } @InProceedings{Jay06a, author = cbj, title = {Typing first-class patterns}, OPTcrossref = {}, OPTkey = {}, booktitle = {Higher-Order Rewriting, electronic proceedings}, OPTpages = {}, year = {2006}, editor = {D. Kesner and M-O. Stehr and F. van Raamsdonk}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, OPTpublisher = {}, note = {\url{http://hor.pps.jussieu.fr/06/proc/jay1.pdf}}, OPTannote = {} } @InProceedings{Jay06b, author = cbj, title = {Type variables simplify sub-typing}, OPTcrossref = {}, OPTkey = {}, booktitle = {Higher-Order Rewriting, electronic proceedings}, OPTpages = {}, year = {2006}, editor = {D. Kesner and M-O. Stehr and F. van Raamsdonk}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, OPTpublisher = {}, note = {\url{http://hor.pps.jussieu.fr/06/proc/jay2.pdf}}, OPTannote = {} } @Proceedings{CATS07, Title = {Thirteenth Computing: The Australasian Theory Symposium (CATS2007)}, Editor = {Gudmundsson, Joachim and Jay, Barry}, Series= {CRPIT}, Address= {Ballarat, Australia}, Publisher = {ACS}, Volume = {65}, URL = {http://crpit.com/Vol65.html}, Year = {2007} } @inproceedings{1188992, author = {Huang, F. Y. and Jay, C. B. and Skillicorn, D. B.}, title = {Adaptiveness in well-typed Java bytecode verification}, booktitle = {CASCON '06: Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research}, year = {2006}, pages = {19}, location = {Toronto, Ontario, Canada}, doi = {http://doi.acm.org/10.1145/1188966.1188992}, publisher = {ACM Press}, address = {New York, NY, USA}, } @InProceedings{JPJ08, author = {Barry Jay and Simon Peyton Jones}, title = {Scrap your type applications}, booktitle = {Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 2008}, OPTcrossref = {}, OPTkey = {}, pages = {2-27}, year = {2008}, editor = {Philippe Audebaud and Christine Paulin-Mohring}, volume = {5133}, OPTnumber = {}, series = lncs, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, publisher = {Springer}, OPTnote = {}, OPTannote = {} } @Book{pcb, author = {Jay, Barry}, ALTeditor = {}, title = {Pattern Calculus: Computing with Functions and Structures}, publisher = {Springer}, year = {2009} } @Article{JK09, author = {Jay, Barry and Kesner, Delia}, title = {First-class Patterns}, journal = {Journal of Functional Programming}, year = {2009}, OPTkey = {}, volume = {19}, number = {2}, pages = {191-225} } @Misc{Jay09b, OPTkey = {}, author = cbj, title = {Objects not Subjects!}, OPThowpublished = {\url{http://www-staff.it.uts.edu.au/~cbj/Publications/ons.pdf}}, OPTmonth = {}, year = {2009}, OPTnote = {}, OPTannote = {} } @incollection {GWGJ10, author = {Given-Wilson, Thomas and Gorla, Daniele and Jay, Barry}, affiliation = {Centre for Quantum Computation and Intelligent Systems &, School of Software, University of Technology, Sydney}, title = {Concurrent Pattern Calculus}, booktitle = {Theoretical Computer Science}, series = {IFIP Advances in Information and Communication Technology}, editor = {Calude, Cristian and Sassone, Vladimiro}, publisher = {Springer Boston}, isbn = {}, pages = {244-258}, volume = {323}, year = {2010} }