mgreenbe's untyped [11 articles] Export Sort

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

Hide details

	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
	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
	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
	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
	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
	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
	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/tag/untyped

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

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 untyped [11 articles] Export Sort

mgreenbe's tags