mgreenbe's library 37 articles Export

	Contracts for Mobile Processes [My Copy] CONCUR 2009 - Concurrency Theory (2009), pp. 211-228. by Giuseppe Castagna, Luca Padovani posted to contracts concurrency by mgreenbe on 2009-11-23 16:16:22 as
	A theory of typed coercions and its applications [My Copy] In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 329-340. by Nikhil Swamy, Michael Hicks, Gavin M. Bierman posted to untyped typed subtyping polymorphism plclub mgree higher-order contracts by mgreenbe on 2009-10-09 22:05:22 as
	Use of Prolog for developing a new programming language [My Copy] (1992) by J. L. Armstrong, S. R. Virding, M. C. Williams posted to untyped by mgreenbe on 2009-10-06 22:12:47 as
	Haskell and XML: Generic Combinators or Type-Based Translation? [My Copy] Vol. 34 (1999), pp. 148-159. by Malcolm Wallace, Colin Runciman posted to typed haskell by mgreenbe on 2009-09-23 22:33:13 as
	Mirrors: design principles for meta-level facilities of object-oriented programming languages [My Copy] In OOPSLA '04: Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 39, No. 10. (October 2004), pp. 331-344. by Gilad Bracha, David Ungar posted to reflection object_oriented by mgreenbe on 2009-09-22 17:11:42 as along with 6 people akuhn onierstrasz keigoi fgeller hamish spl
	Building language towers with ziggurat [My Copy] J. Funct. Program., Vol. 18, No. 5-6. (2008), pp. 707-780. by David Fisher, Olin Shivers posted to scheme macros by mgreenbe on 2009-09-22 17:03:42 as
	Semantics of Memory Management for Polymorphic Languages [My Copy] In Higher Order Operational Techniques in Semantics, Publications of the Newton Institute (1997), pp. 175-226. by Greg Morrisett, Robert Harper posted to typed semantics polymorphism abstract_machine by mgreenbe on 2009-09-22 17:02:40 as along with 1 person amp269
	Representing Control in the Presence of First-Class Continuations [My Copy] In In Proceedings of the SIGPLAN '90 Conference on Programming Language Design and Implementation, Vol. 25 (1990), pp. 66-77. by Robert Hieb, R. Kent Dybvig, Carl Bruggeman posted to untyped scheme by mgreenbe on 2009-09-22 17:01:50 as
	Boomerang: resourceful lenses for string data [My Copy] In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 407-419. by Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt posted to lenses bidirectional by mgreenbe on 2009-09-22 15:20:22 as
	Non-parametric parametricity [My Copy] In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 135-148. by Georg Neis, Derek Dreyer, Andreas Rossberg posted to typed step_indexed polymorphism plclub logical_relations baydemir by mgreenbe on 2009-09-22 15:12:17 as
	Term Graph Rewriting for the π-Calculus [My Copy] Programming Languages and Systems (2003), pp. 37-54. by Fabio Gadducci posted to wagnerdm plclub graph_rewriting concurrency categorical_semantics by mgreenbe on 2009-09-22 15:10:15 as
	LNgen: Tool Support for Locally Nameless Representations [My Copy] (March 2009) by Brian Aydemir, Stephanie Weirich posted to no-tag by mgreenbe on 2009-09-22 14:47:42 as
	The Coq proof assistant reference manual, version 8.2 [My Copy] (August 2009) by Coq D. Team posted to no-tag by mgreenbe on 2009-09-22 14:47:42 as
	An extension of System F with subtyping [My Copy] In Information and Computation (1991), pp. 750-770. by Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov posted to typed subtyping by mgreenbe on 2009-09-22 14:47:42 as
	Relationally-parametric polymorphic contracts [My Copy] In DLS (2007), pp. 29-40. by Arjun Guha, Jacob Matthews, Robert B. Findler, Shriram Krishnamurthi posted to wrap untyped scheme polymorphism contracts by mgreenbe on 2009-09-22 14:47:42 as
	Monadic, Prompt Lazy Assertions in Haskell [My Copy] In APLAS (2007), pp. 38-53. by Olaf Chitil, Frank Huch posted to lazy haskell contracts by mgreenbe on 2009-09-22 14:47:42 as
	Quasi-static typing [My Copy] In Principles of Programming Languages (POPL) (1990), pp. 367-381. by Satish Thatte posted to untyped typed by mgreenbe on 2009-09-22 14:47:42 as
	Sage: Hybrid checking for flexible specifications [My Copy] In Scheme and Functional Programming Workshop (2006), pp. 93-104. by Jessica Gronski, Kenneth Knowles, Aaron Tomb, Stephen N. Freund, Cormac Flanagan posted to untyped typed theorem_proving lax full_spectrum dependent contracts by mgreenbe on 2009-09-22 14:47:42 as
	The design and implementation of typed scheme [My Copy] In Principles of Programming Languages (POPL) (2008), pp. 395-406. by Sam T. Hochstadt, Matthias Felleisen posted to wrap untyped typed scheme implementation effect_typing by mgreenbe on 2009-09-22 14:47:42 as
	Eiffel: the language [My Copy] (1992) by Bertrand Meyer posted to object_oriented implementation contracts by mgreenbe on 2009-09-22 14:47:42 as
	Eliminating Array Bound Checking Through Dependent Types [My Copy] In Programming Language Design and Implementation (PLDI) (1998), pp. 249-257. by Hongwei Xi, Frank Pfenning posted to typed implementation by mgreenbe on 2009-09-22 14:47:42 as
	Refinement types for ML [My Copy] SIGPLAN Notices In Programming Language Design and Implementation (PLDI), Vol. 26, No. 6. (June 1991), pp. 268-277. by T. Freeman, F. Pfenning posted to typed by mgreenbe on 2009-09-22 14:47:42 as
	Gradual typing for functional languages [My Copy] In Scheme and Functional Programming Workshop (September 2006) by Jeremy G. Siek, Walid Taha posted to untyped typed contracts by mgreenbe on 2009-09-22 14:47:42 as
	Typed Operational Reasoning [My Copy] In Advanced Topics in Types and Programming Languages (2005), pp. 245-289. by A. M. Pitts edited by B. C. Pierce posted to typed equivalence denotational by mgreenbe on 2009-09-22 14:47:42 as
	Well-Typed Programs Can't Be Blamed [My Copy] In Workshop on Scheme and Functional Programming (2007) by Philip Wadler, Robert B. Findler posted to untyped typed subtyping algebraic by mgreenbe on 2009-09-22 14:47:42 as
	Well-Typed Programs Can't Be Blamed [My Copy] In European Symposium on Programming (ESOP) (2009), pp. 1-16. by Philip Wadler, Robert B. Findler posted to untyped typed subtyping algebraic by mgreenbe on 2009-09-22 14:47:42 as
	Static contract checking for Haskell [My Copy] In Principles of Programming Languages (POPL) (2009), pp. 41-52. by Dana N. Xu, Simon P. Jones, Koen Claessen posted to typed static_analysis picky lazy haskell denotational contracts by mgreenbe on 2009-09-22 14:47:42 as
	Sound and complete models of contracts [My Copy] Journal of Functional Programming, Vol. 16, No. 4-5. (2006), pp. 375-414. by Matthias Blume, David A. McAllester posted to wrap translation scheme safety picky dependent denotational by mgreenbe on 2009-09-22 14:47:42 as
	Ott: effective tool support for the working semanticist [My Copy] In ICFP (2007), pp. 1-12. by Peter Sewell, Francesco Z. Nardelli, Scott Owens, et al.Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa posted to semantics notation by mgreenbe on 2009-09-22 14:47:42 as
	Hybrid type checking [My Copy] In POPL (2006), pp. 245-256. by Cormac Flanagan posted to typed theorem_proving lax dependent contracts by mgreenbe on 2009-09-22 14:47:42 as
	Hybrid Type Checking [My Copy] (2009) by Kenneth Knowles, Cormac Flanagan posted to typed picky full_beta equivalence denotational contracts by mgreenbe on 2009-09-22 14:47:42 as
	Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types [My Copy] In of Lecture Notes in Computer Science, Vol. 3924 (2006), pp. 69-83. by Amal Ahmed posted to typed step_indexed logical_relations equivalence by mgreenbe on 2009-09-22 14:45:42 as
	On the Expressive Power of Programming Languages [My Copy] In Science of Computer Programming, Vol. 17 (1990), pp. 134-151. by Matthias Felleisen posted to macros expressivity equivalence by mgreenbe on 2009-09-22 14:44:51 as along with 1 person nes1983
	Unifying hybrid types and contracts [My Copy] In In Eighth Symposium on Trends in Functional Programming (2007) by Jessica Gronski, Cormac Flanagan posted to typed translation contracts bulletproofing by mgreenbe on 2009-09-22 14:44:03 as
	Typed contracts for functional programming [My Copy] In In FLOPS ’06: Functional and Logic Programming: 8th International Symposium, Vol. 11 (2006), pp. 208-225. by Ralf Hinze, Johan Jeuring, Andres Löh posted to typed picky lazy haskell dependent contracts blame_passing algebraic by mgreenbe on 2009-09-22 14:42:49 as
	Dynamic typing with dependent types [My Copy] In In IFIP International Conference on Theoretical Computer Science (2004), pp. 437-450. by Xinming Ou, Gang Tan, M. Yitzhak, David Walker posted to typed purity dependent contracts by mgreenbe on 2009-09-22 14:42:00 as
	Contracts for Higher-Order Functions [My Copy] (2002) by Robert B. Findler, Matthias Felleisen posted to wrap untyped scheme picky lax higher-order dependent contracts by mgreenbe on 2009-09-22 14:40:18 as

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

typed	21
contracts	14
untyped	11
dependent	6
scheme	6
picky	5
haskell	4
subtyping	4
wrap	4
denotational	4
polymorphism	4
equivalence	4
implementation	3
algebraic	3
plclub	3
lax	3
lazy	3
logical_relations	2
higher-order	2
semantics	2
theorem_proving	2
step_indexed	2
macros	2
concurrency	2
object_oriented	2
translation	2
lenses	1
reflection	1
graph_rewriting	1
bidirectional	1
abstract_machine	1
baydemir	1
purity	1
mgree	1
expressivity	1
safety	1
full_spectrum	1
effect_typing	1
wagnerdm	1
full_beta	1
categorical_semantics	1
static_analysis	1
notation	1
bulletproofing	1
blame_passing	1

mgreenbe's library 37 articles Export

mgreenbe's tags