Tag continuation [40 articles] Export

Recent papers classified by the tag continuation.

	Wild control operators [My Copy] In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 152-152. by Chris Barker posted to linguistics continuation by msakai on 2009-08-31 03:45:39 as
	An approach to call-by-name delimited continuations [My Copy] In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 383-394. by Hugo Herbelin, Silvia Ghilezan posted to continuation by fvogels on 2009-08-12 14:45:02 as
	The interprocedural analysis and automatic parallelization of Scheme programs [My Copy] LISP and Symbolic Computation, Vol. 2, No. 3. (1 October 1989), pp. 179-396. by Williams L. Harrison posted to continuation dissertation lambda-calculus parallelization by mattmight on 2009-06-20 04:26:11 as
	Continuations and transducer composition [My Copy] In PLDI '06: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (2006), pp. 295-307. by Olin Shivers, Matthew Might posted to continuation coroutine coroutine-fusion super-beta transducer-fusion by mattmight on 2009-06-13 19:04:28 as along with 1 person tov
	A Library of High Level Control Operators [My Copy] Lisp Pointers, ACM SIGPLAN Special Interest Publ. on Lisp, Vol. 6 (1993), pp. 11-26. by Christian Queinnec posted to continuation delimited by jweslley on 2009-06-07 13:42:52 as
	Continuations, functions and jumps [My Copy] SIGACT News, Vol. 30, No. 2. (1999), pp. 33-42. by Hayo Thielecke posted to continuation functionalprogramming by keigoi on 2009-04-14 15:13:14 as
	Subcontinuations [My Copy] LISP and Symbolic Computation, Vol. 7, No. 1. (1 January 1994), pp. 83-109. by Robert Hieb, Kent R. Dybvig, Claude W. Anderson posted to continuation by msakai on 2009-03-28 13:47:29 as
	A correspondence between continuation passing style and static single assignment form [My Copy] In Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations, Vol. 30, No. 3. (March 1995), pp. 13-22. by Richard A. Kelsey posted to compiler continuation cps ssa by bfraser on 2008-07-12 20:21:32 as along with 2 people and 1 group samth mcclurmc NU-PRL
	Strong normalization of the second-order symmetric [lambda][mu]-calculus [My Copy] Information and Computation, Vol. 193, No. 1. (25 August 2004), pp. 1-20. by Yoriyuki Yamagata posted to continuation lambda-calculus by msakai on 2008-07-09 03:03:25 as along with 1 person yoriyuki
	Strong Normalization of Second Order Symmetric Lambda-mu Calculus [My Copy] Theoretical Aspects of Computer Software (2001), pp. 459-467. by Yoriyuki Yamagata posted to continuation lambda-calculus by msakai on 2008-07-09 03:03:10 as along with 1 person yoriyuki
	Control categories and duality: on the categorical semantics of the lambda-mu calculus [My Copy] Mathematical Structures in Computer Science, Vol. 11, No. 02. (2001), pp. 207-260. by Peter Selinger posted to category-theory continuation by msakai on 2008-06-08 07:30:21 as along with 1 person yoriyuki
	Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus [My Copy] Functional and Logic Programming (2002), pp. 167-182. by Masahito Hasegawa posted to continuation linear-logic by msakai on 2008-06-01 05:04:42 as
	Verifying CPS transformations in Isabelle/HOL [My Copy] In MERLIN '03: Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding (2003), pp. 1-8. by Yasuhiko Minamide, Koji Okuma posted to continuation theorem-proving by msakai on 2008-05-28 12:27:00 as along with 2 people and 1 group dalev mvermaat NU-PRL
	Subcontinuations [My Copy] Lisp and Symbolic Computation, Vol. 7, No. 1. (1994), pp. 83-110. by Robert Hieb, Kent Dybvig, Claude Anderson posted to continuation by msakai on 2008-05-25 10:55:38 as along with 1 person zzkt
	A generalization of exceptions and control in ML-like languages [My Copy] In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 12-23. by Carl A. Gunter, Didier Rémy, Jon G. Riecke posted to continuation by msakai on 2008-05-25 10:01:16 as along with 1 person yoriyuki
	Final shift for call/cc:: direct implementation of shift and reset [My Copy] SIGPLAN Not., Vol. 37, No. 9. (September 2002), pp. 271-282. by Martin Gasbichler, Michael Sperber posted to continuation by msakai on 2008-05-25 09:59:54 as
	The essence of compiling with continuations [My Copy] In PLDI '93: Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation, Vol. 28, No. 6. (June 1993), pp. 237-247. by Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen posted to compiler continuation by msakai on 2008-05-25 09:58:08 as along with 2 people mattmight dsilva
	Partial continuations as the difference of continuations a duumvirate of control operators [My Copy] Programming Language Implementation and Logic Programming (1994), pp. 182-197. by Luc Moreau, Christian Queinnec posted to continuation by msakai on 2008-05-25 09:54:39 as
	Recycling continuations [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998), pp. 251-260. by Jonathan Sobel, Daniel P. Friedman posted to continuation homepage memory-management by pedagand to the group Lambda the Ultimate on 2008-05-11 11:29:52 as
	Threads Yield Continuations [My Copy] Lisp and Symbolic Computation, Vol. 10, No. 3. (1998), pp. 223-236. by Sanjeev Kumar, Carl Bruggeman, Kent R. Dybvig posted to continuation by ch on 2008-05-06 03:49:24 as
	Representing control in the presence of first-class continuations [My Copy] SIGPLAN Notices In Proceedings of the ACM {SIGPLAN} '90 Conference on Programming Language Design and Implementation, Vol. 25, No. 6. (June 1990), pp. 66-77. by R. Hieb, R. K. Dybvig, C. Bruggerman posted to continuation control by ch on 2008-05-06 03:48:51 as along with 1 person cdiggins
	Space-Efficient Closure Representations [My Copy] In LISP and Functional Programming (1994), pp. 150-161. by Zhong Shao, Andrew W. Appel posted to closure continuation by ch on 2008-05-06 03:48:05 as
	Inverting back the inversion of control or, Continuations versus page-centric programming [My Copy] by Christian Queinnec posted to continuation by ch on 2008-05-06 03:47:12 as
	Final Shift for Call/cc: Direct Implementation of Shift and Reset [My Copy] (2002) by Martin Gasbichler, Michael Sperber posted to 2002 continuation by shimomura on 2008-05-05 16:23:23 as along with 2 people harshrc cdiggins
	A Game Semantics of Linearly Used Continuations [My Copy] Foundations of Software Science and Computation Structures (2003), pp. 313-327. by James Laird posted to continuation game by msakai on 2008-04-17 19:36:03 as
	Polymorphic Delimited Continuations [My Copy] Programming Languages and Systems (2007), pp. 239-254. by Kenichi Asai, Yukiyoshi Kameyama posted to continuation by keigoi on 2008-03-18 05:11:15 as along with 2 people msakai nominolo
	Deriving Proof Rules from Continuation Semantics [My Copy] Formal Aspects of Computing, Vol. 11, No. 4. (1999), pp. 426-447. by Philippe Audebaud, Elena Zucca posted to continuation by msakai on 2007-09-03 12:33:44 as
	Continuation electroconvulsive therapy vs pharmacotherapy for relapse prevention in major depression: a multisite study from the Consortium for Research in Electroconvulsive Therapy (CORE). [My Copy] Arch Gen Psychiatry, Vol. 63, No. 12. (December 2006), pp. 1337-1344. by C. H. Kellner, R. G. Knapp, G. Petrides, et al.T. A. Rummans, M. M. Husain, K. Rasmussen, M. Mueller, H. J. Bernstein, K. O'Connor, G. Smith, M. Biggs, S. H. Bailine, C. Malur, E. Yim, S. McClintock, S. Sampson, M. Fink posted to treatment ect depression continuation antidepressants by vdbroekw on 2007-01-17 09:15:39 as along with 2 groups Neuroscience Psychiatry
	Representing control in the presence of one-shot continuations [My Copy] In Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, Vol. 31, No. 5. (May 1996), pp. 99-107. by Carl Bruggeman, Oscar Waddell, R. Kent Dybvig posted to continuation programming by muraken on 2006-09-21 23:39:40 as along with 3 people and 1 group samth ryanc tov NU-PRL
	Call-By-Name CPS-Translation as a Binding-Time Improvement [My Copy] In International Static Analysis Symposium, Glasgow, Scotland, September 1995. (Lecture Notes in Computer Science, vol. 983) (1995) by K. Nielsen, M. H. Sorensen edited by A. Mycroft posted to call-by-name continuation language lazy programming by kinaba on 2006-09-04 20:24:00 as
	Continuations, proofs and tests [My Copy] (9 May 2006) by Stefano Guerrini, Andrea Masini posted to continuation pnc semantics sequent by greg_restall on 2006-05-17 01:09:38 as along with 1 person jrw
	Using continuations to implement thread management and communication in operating systems [My Copy] In Proceedings of the13th ACM Symposium on Operating Systems Principle (1991), pp. 122-136. by Richard P. Draves, Brian N. Bershad, Richard F. Rashid, Randall W. Dean posted to continuation kernel operating-systems programming by damaru on 2006-04-17 06:00:36 as along with 4 people jrw pool007 jmlon ilorvi
	Portable Implementation of Continuation Operators in Imperative Languages by Exception Handling [My Copy] Lecture Notes in Computer Science, Vol. 2022 (2001) by Tatsurou Sekiguchi, Takahiro Sakamoto, Akinori Yonezawa posted to closure continuation mobile_code mobility by snim2 to the group cogent_computing on 2006-02-19 21:14:49 as
	Basic Research in Computer Science [My Copy] by An O. Foundation posted to continuation by hannes on 2006-01-26 19:30:54 as
	An Operational Foundation for Delimited Continuations in<br><br> the<br><br><br> CPS<br><br> Hierarchy [My Copy] (8 Dec 2005) by Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy posted to concurrency continuation control-flow cps by water451 on 2005-12-23 23:03:57 as
	SISC: A Complete Scheme Interpreter in Java [My Copy] by Scott G. Miller posted to continuation scheme by kinaba on 2005-10-05 08:13:15 as along with 1 person CVertex
	Continuation-Based Program Transformation Strategies [My Copy] J. ACM, Vol. 27, No. 1. (January 1980), pp. 164-180. by Mitchell Wand posted to continuation program-transformation by kvm on 2005-09-17 03:39:49 as along with 10 people and 2 groups olegus samth twleung rgrig JacquesC JeffreyPalmer voigt pile nominolo americovargas NU-PRL SRG_at_UCD
	Trampolining Architectures [My Copy] by Steven E. Ganz, Daniel P. Friedman posted to continuation fp monads by zednenem on 2005-08-04 19:38:16 as along with 3 people and 1 group dalev JeffreyPalmer eblood NU-PRL
	Trampolined Style [My Copy] In International Conference on Functional Programming (1999), pp. 18-27. by Steven E. Ganz, Daniel P. Friedman, Mitchell Wand posted to continuation fp monads trampoline-style by zednenem on 2005-08-04 19:35:00 as along with 2 people JeffreyPalmer eblood
	An Introduction to Reflection-Oriented Programming [My Copy] (1996) by J. Sobel, D. Friedman posted to continuation monads reflection by zednenem on 2005-07-22 21:08:27 as along with 4 people and 3 groups assnoodles jolilius aufrank neuralwarp NU-PRL TUCS-ES_Lab ur-cls

Note: You may cite this page as: http://www.citeulike.org/tag/continuation

antidepressants	3
closure	3
depression	3
ect	3
lambda-calculus	3
monads	3
programming	3
treatment	3
compiler	2
cps	2
fp	2
mobile_code	2
mobility	2
2002	1
call-by-name	1
category-theory	1
community	1
concurrency	1
control	1
control-flow	1
coroutine	1
coroutine-fusion	1
delimited	1
dissertation	1
functionalprogramming	1
game	1
homepage	1
implementation	1
kernel	1
language	1
lazy	1
linear-logic	1
linguistics	1
memory-management	1
operating-systems	1
ownership	1
parallelization	1
pnc	1
program	1
program-transformation	1
reflection	1
scheme	1
semantics	1
sequent	1
ssa	1
super-beta	1
theorem-proving	1
trampoline-style	1
transducer-fusion	1
type-theory	1

Tag continuation [40 articles] Export

Related Tags