Tag homepage [25 articles] Export

Recent papers classified by the tag homepage.

	Homepage Usability: 50 Websites Deconstructed [My Copy] (05 November 2001) by Jakob Nielsen, Marie Tahir posted to 2001 guidelines homepage usability by Torsten_Holmer on 2008-07-25 07:53:07 as along with 1 person jeanette
	Types as abstract interpretations [My Copy] In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 316-331. by Patrick Cousot posted to abstract-interpretation homepage types by pedagand to the group Lambda the Ultimate on 2008-05-16 15:37:58 as along with 2 people draganigajic KarlKlose
	Samurai: protecting critical data in unsafe languages [My Copy] SIGOPS Oper. Syst. Rev., Vol. 42, No. 4. (May 2008), pp. 219-232. by Karthik Pattabiraman, Vinod Grover, Benjamin G. Zorn posted to critical-data fault-tolerant homepage memory unsafe-language by pedagand to the group Lambda the Ultimate on 2008-05-11 11:56:14 as
	Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach [My Copy] J. Mach. Learn. Res., Vol. 7 (2006), pp. 429-454. by Emanuel Kitzelmann, Ute Schmid posted to homepage synthesis by pedagand to the group Lambda the Ultimate on 2008-05-11 11:53:36 as
	A Sound Semantics for OCaml light [My Copy] Programming Languages and Systems (2008), pp. 1-15. by Scott Owens posted to caml formal-proof hol homepage ott by pedagand to the group Lambda the Ultimate on 2008-05-11 11:51:55 as along with 1 person marcinzalewski
	Garbage Collection without Paging [My Copy] by Matthew Hertz, Yi Feng, Emery D. Berger posted to garbage-collection homepage performance virtual-memory by pedagand to the group Lambda the Ultimate on 2008-05-11 11:49:25 as
	Quantifying the Performance of Garbage Collection vs. Explicit Memory Management [My Copy] by Matthew Hertz, Emery D. Berger posted to garbage-collection homepage performance by pedagand to the group Lambda the Ultimate on 2008-05-11 11:47:48 as along with 1 person harshrc
	Computation Orchestration: A Basis for Wide-area Computing [My Copy] Software and Systems Modeling (SoSyM), Vol. 6, No. 1. (March 2007), pp. 83-110. by Misra, Jayadev, Cook, William posted to concurrent distributed homepage process-calculus by pedagand to the group Lambda the Ultimate on 2008-05-11 11:43:14 as
	J&: nested intersection for scalable software composition [My Copy] In OOPSLA '06: Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (2006), pp. 21-36. by Nathaniel Nystrom, Xin Qi, Andrew C. Myers posted to expression-problem homepage scalable-software-composition by pedagand to the group Lambda the Ultimate on 2008-05-11 11:36:16 as
	Termination checking with types [My Copy] (2002) by A. Abel posted to homepage termination types by pedagand to the group Lambda the Ultimate on 2008-05-11 11:34:51 as along with 5 people and 1 group shimomura msakai greenrd zednenem ardt SRG_at_UCD
	Call-by-value Termination in the Untyped Lambda-calculus [My Copy] (17 Mar 2008) by Neil D. Jones, Nina Bohr posted to call-by-value homepage termination by pedagand to the group Lambda the Ultimate on 2008-05-11 11:34:06 as
	Engineering formal metatheory [My Copy] SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 3-15. by Brian Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich posted to formal homepage metatheory poplmark by pedagand to the group Lambda the Ultimate on 2008-05-11 11:32:55 as
	The design and implementation of typed scheme [My Copy] SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 395-406. by Sam T. Hochstadt, Matthias Felleisen posted to homepage scheme types by pedagand to the group Lambda the Ultimate on 2008-05-11 11:31:30 as along with 2 people fvogels robotact
	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
	A model for formal parametric polymorphism: A PER interpretation for System R [My Copy] (1995) by R. Berlucci, M. Abadi, P. Curien posted to homepage system-f system-r by pedagand to the group Lambda the Ultimate on 2008-05-11 11:27:11 as
	A certified type-preserving compiler from lambda calculus to assembly language [My Copy] SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 54-65. by Adam Chlipala posted to certified compiler homepage lambda-calculus types by pedagand to the group Lambda the Ultimate on 2008-05-11 11:25:28 as along with 2 people and 1 group mvermaat jkominek ConcertRG
	Relating complexity and precision in control flow analysis [My Copy] In ICFP '07: Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming (2007), pp. 85-96. by David Van Horn, Harry G. Mairson posted to computational-complexity control-flow-analysis homepage by pedagand to the group Lambda the Ultimate on 2008-05-11 11:23:56 as along with 1 person dvanhorn
	When is a functional program not a functional program? [My Copy] SIGPLAN Not., Vol. 34, No. 9. (September 1999), pp. 1-7. by John Longley posted to homepage impure-functional-language sml by pedagand to the group Lambda the Ultimate on 2008-05-11 11:21:11 as
	Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl) [My Copy] Functional and Logic Programming (2008), pp. 64-80. by Oleg Kiselyov, William Byrd, Daniel Friedman, Chung-Chieh Shan posted to constructive-arithmetic homepage prolog reasoned-schemer by pedagand to the group Lambda the Ultimate on 2008-05-11 11:17:45 as
	Register Allocation by Proof Transformation [My Copy] by Atsushi O. Japan posted to homepage proof-transformation register-allocation by pedagand to the group Lambda the Ultimate on 2008-05-11 11:10:34 as along with 1 person nominolo
	Empowering Side-Channel Attacks [My Copy] No. 2001/037. (2001) by Josyula R. Rao, Pankaj Rohatgi posted to homepage lambda-the-ultimate security side-channel-attack by pedagand to the group Lambda the Ultimate on 2008-05-11 11:05:51 as
	Automatic generation of peephole superoptimizers [My Copy] SIGPLAN Not., Vol. 41, No. 11. (November 2006), pp. 394-403. by Sorav Bansal, Alex Aiken posted to homepage optimization peephole by pedagand to the group Lambda the Ultimate on 2008-05-11 10:57:35 as
	Dryad: distributed data-parallel programs from sequential building blocks [My Copy] SIGOPS Oper. Syst. Rev., Vol. 41, No. 3. (June 2007), pp. 59-72. by Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, Dennis Fetterly posted to distributed-computing grid-computing homepage parallel by pedagand to the group Lambda the Ultimate on 2008-05-11 10:53:13 as along with 1 person kzk_mover
	Music, cognition, culture, and evolution. [My Copy] Ann N Y Acad Sci, Vol. 930 (June 2001), pp. 28-42. by I. Cross posted to 2001 evolution homepage musicology preprint by cerkut on 2008-03-11 22:29:29 as along with 1 person richardlewis
	Scope: providing awareness of multiple notifications at a glance [My Copy] (2002) by M. van Dantzich, D. Robbins, E. Horvitz, M. Czerwinski posted to evaluation homepage interaction mobile user by yenching on 2008-02-11 02:26:19 as along with 1 person fabianhemmert

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

types	4
2001	2
garbage-collection	2
performance	2
termination	2
abstract-interpretation	1
call-by-value	1
caml	1
certified	1
compiler	1
computational-complexity	1
concurrent	1
constructive-arithmetic	1
continuation	1
control-flow-analysis	1
critical-data	1
distributed	1
distributed-computing	1
evaluation	1
evolution	1
expression-problem	1
fault-tolerant	1
formal	1
formal-proof	1
grid-computing	1
guidelines	1
hol	1
impure-functional-language	1
interaction	1
lambda-calculus	1
lambda-the-ultimate	1
memory	1
memory-management	1
metatheory	1
mobile	1
musicology	1
optimization	1
ott	1
parallel	1
peephole	1
poplmark	1
preprint	1
process-calculus	1
prolog	1
proof-transformation	1
reasoned-schemer	1
register-allocation	1
scalable-software-composition	1
scheme	1
security	1
side-channel-attack	1
sml	1
synthesis	1
system-f	1
system-r	1
unsafe-language	1
usability	1
user	1
virtual-memory	1

Tag homepage [25 articles] Export

Related Tags