mgreenbe's typed [21 articles] Export

Recent papers added to mgreenbe's library classified by the tag typed. You can also see everyone's typed.

	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
	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
	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
	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
	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
	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
	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
	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
	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

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

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

mgreenbe's typed [21 articles] Export

mgreenbe's tags