voigt's watchlist [more than 800 articles] Export

Recent papers matching voigt's watchlist criteria

	JunGL: a scripting language for refactoring [My Copy] In ICSE '06: Proceedings of the 28th international conference on Software engineering (2006), pp. 172-181. by Mathieu Verbaere, Ran Ettinger, Oege de Moor posted to refactoring by khatchad on 2009-11-07 19:43:12 as along with 2 people and 1 group dannydig emerson Refactoring
	Genetic Variants in the Vitamin D Receptor Are Associated with Advanced Prostate Cancer at Diagnosis: Findings from the Prostate Testing for Cancer and Treatment Study and a Systematic Review. [My Copy] Cancer epidemiology, biomarkers & prevention : a publication of the American Association for Cancer Research, cosponsored by the American Society of Preventive Oncology (27 October 2009) by Lina Chen, George Davey Smith, David M. Evans, et al.Angela Cox, Debbie A. Lawlor, Jenny Donovan, Wei Yuan, Ian N. Day, Richard M. Martin, Athene Lane, Santi Rodriguez, Michael Davis, Luisa Zuccolo, Simon M. Collin, Freddie Hamdy, David Neal, Sarah J. Lewis posted to vitamin vdr prostate polymorphism genetic d cancer by songpku on 2009-11-07 18:01:16 as
	Variation in the FGFR2 Gene and the Effects of Postmenopausal Hormone Therapy on Invasive Breast Cancer. [My Copy] Cancer epidemiology, biomarkers & prevention : a publication of the American Association for Cancer Research, cosponsored by the American Society of Preventive Oncology (27 October 2009) by Ross L. Prentice, Ying Huang, David A. Hinds, et al.Ulrike Peters, Mary Pettinger, David R. Cox, Erica Beilharz, Rowan T. Chlebowski, Jacques E. Rossouw, Bette Caan, Dennis G. Ballinger posted to polymorphism fgfr2 cancer breast by songpku on 2009-11-07 17:59:33 as
	Common genetic variants in pre-microRNAs are associated with risk of coal workers' pneumoconiosis. [My Copy] Journal of human genetics (30 October 2009) by Meilin Wang, Yang Ye, Haiyang Qian, et al.Zhifang Song, Xiaomin Jia, Zhengdong Zhang, Jianwei Zhou, Chunhui Ni posted to snp pre-microrna polymorphism mirna microrna by songpku on 2009-11-07 17:56:34 as
	Renal biopsy in patients with type 2 diabetes mellitus: indications and nature of the lesions. [My Copy] Annals of Saudi medicine, Vol. 29, No. 6. (c 2009), pp. 450-453. by Amal Abdel A. Ghani, Salah Al Waheeb, Ali Al Sahow, Naser Hussain posted to crescentic-dn by roboonya on 2009-11-07 13:08:27 as
	Sharing global CO2 emission reductions among one billion high emitters [My Copy] Proceedings of the National Academy of Sciences (July 2009) by Shoibal Chakravarty, Ananth Chikkatur, Heleen de Coninck, Stephen Pacala, Robert Socolow, Massimo Tavoni posted to zotero policy mitigation global emissions co2 climate abatement by criedy on 2009-11-07 10:45:18 as
	Association between gynecomastia and aromatase (CYP19) polymorphisms [My Copy] Eur J Endocrinol, Vol. 158, No. 5. (1 May 2008), pp. 721-727. by Izabella Czajka-Oraniec, Wojciech Zgliczynski, Alina Kurylowicz, Michal Mikula, Jerzy Ostrowski posted to polymorphism human gynaecomastia aromatase by FW_Gibb on 2009-11-07 09:27:59 as
	Induction Is Not Derivable in Second Order Dependent Type Theory [My Copy] Typed Lambda Calculi and Applications (2001), pp. 166-181. by Herman Geuvers posted to system-f lambda-calculus by pedagand on 2009-11-06 20:00:33 as
	Integrative clustering of multiple genomic data types using a joint latent variable model with application to breast and lung cancer subtype analysis [My Copy] Bioinformatics, Vol. 25, No. 22. (15 November 2009), pp. 2906-2912. by Ronglai Shen, Adam B. Olshen, Marc Ladanyi posted to variable types omic multiple model latent joint integrative integration genomic data clustering by dswan on 2009-11-06 17:30:13 as along with 1 person rdiaz
	Influence of the Pro12Ala polymorphism of PPAR-gamma on age at onset and sRAGE levels in Alzheimer's disease. [My Copy] Brain research, Vol. 1291 (29 September 2009), pp. 133-139. by Lifen Yao, Keshen Li, Liming Zhang, Songpo Yao, Zhongyuan Piao, Lin Song posted to srage ppar-gamma polymorphism genetics biomarkers alzheimers_disease age by applebyb on 2009-11-06 12:48:07 as
	Replacing energy by von Neumann entropy in quantum phase transitions [My Copy] Annals of Physics, Vol. 322, No. 6. (June 2007), pp. 1466-1476. by A. Kopp, X. Jia, S. Chakravarty posted to thermodynamics by Elena_Zubova on 2009-11-06 07:14:52 as
	Efficient incremental run-time specialization for free [My Copy] In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, Vol. 34, No. 5. (May 1999), pp. 281-292. by Renaud Marlet, Charles Consel, Philippe Boinot posted to specialization by msakai on 2009-11-06 00:08:52 as along with 3 people marcoil dynamic nikomatsakis
	Improving performance by branch reordering [My Copy] In PLDI '98: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation (1998), pp. 130-141. by Minghui Yang, Gang R. Uh, David B. Whalley posted to optimization by msakai on 2009-11-06 00:01:22 as
	Run-time code generation and modal-ML [My Copy] In PLDI '98: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, Vol. 33, No. 5. (May 1998), pp. 224-235. by Philip Wickline, Peter Lee, Frank Pfenning posted to stage-calculus specialization modal-logic by msakai on 2009-11-06 00:00:41 as along with 1 person magr
	Germ line polymorphism in metastatic progression. [My Copy] Cancer research, Vol. 66, No. 3. (1 February 2006), pp. 1251-1254. by Kent W. Hunter, Nigel P. Crawford posted to review polymorphism metastasis germline cancer breast by songpku on 2009-11-05 16:35:35 as
	Germline polymorphisms in SIPA1 are associated with metastasis and other indicators of poor prognosis in breast cancer. [My Copy] Breast cancer research : BCR, Vol. 8, No. 2. (2006) by Nigel P. Crawford, Argyrios Ziogas, David J. Peel, James Hess, Hoda Anton-Culver, Kent W. Hunter posted to sipa polymorphism metastasis germline cancer breast by songpku on 2009-11-05 16:34:07 as
	Distinct inherited metastasis susceptibility exists for different breast cancer subtypes: a prognosis study. [My Copy] Breast cancer research : BCR, Vol. 11, No. 5. (13 October 2009), R75. by Szu-Min M. Hsieh, Maxime P. Look, Anieta M. Sieuwerts, John A. Foekens, Kent W. Hunter posted to snp sipa polymorphism metastasis cancer breast by songpku on 2009-11-05 16:25:48 as along with 1 person merpublic
	Monadic Presentations of Lambda Terms Using Generalized Inductive Types [My Copy] Computer Science Logic (2009), pp. 825-825. by Thorsten Altenkirch, Bernhard Reus posted to types monads kleisli-structures by pedagand on 2009-11-05 15:47:57 as
	Hume: a domain-specific language for real-time embedded systems [My Copy] In GPCE '03: Proceedings of the 2nd international conference on Generative programming and component engineering (2003), pp. 37-56. by Kevin Hammond, Greg Michaelson posted to functional-programming embedded-systems by frdr on 2009-11-05 14:28:09 as along with 1 person and 1 group assnoodles NU-PRL
	An application of co-inductive types in Coq: Verification of the alternating bit protocol [My Copy] Types for Proofs and Programs (1996), pp. 135-152. by Eduardo Giménez posted to verification theorem-proving recursion master-project logic functional-programming coq coinduction by mvermaat on 2009-11-05 14:02:51 as
	A Tutorial on Recursive Types in Coq [My Copy] INRIA ROCQUENCOURT (1998) by Eduardo Giménez posted to types recursion master-project logic functional-programming coq coinduction by mvermaat on 2009-11-05 13:34:58 as
	Unembedding domain-specific languages [My Copy] In Haskell '09: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell (2009), pp. 37-48. by Robert Atkey, Sam Lindley, Jeremy Yallop posted to haskell functionalprogramming embeddedlanguage by keigoi on 2009-11-05 06:54:13 as along with 2 people jcreed noam_zeilberger
	Combined satisfiability modulo parametric theories [My Copy] Lecture Notes in Computer Science, Vol. 4424 (2007), pp. 602-602. by S. Krstic, A. Goel, J. Grundy, C. Tinelli posted to zotero-import-09-11-04 by taking on 2009-11-04 15:31:51 as
	Electrical properties of laser annealed silicon [My Copy] AIP Conference Proceedings, Vol. 50, No. 1. (1979), pp. 543-549. by J. L. Benton, L. C. Kimerling, G. L. Miller, D. A. H. Robinson, G. K. Celler posted to no-tag by hameiriz on 2009-11-04 06:12:15 as
	Hydrogen passivation of point defects in silicon [My Copy] Applied Physics Letters, Vol. 36, No. 8. (1980), pp. 670-671. by J. L. Benton, C. J. Doherty, S. D. Ferris, D. L. Flamm, L. C. Kimerling, H. J. Leamy posted to no-tag by hameiriz on 2009-11-04 06:07:15 as
	Types as Theories [My Copy] In Topology and Category Theory in Computer Science (1991), pp. 357-390. by Joseph Goguen edited by George M. Reed, Andrew W. Roscoe, Ralph F. Wachter posted to types by GorgeousNicko on 2009-11-04 00:25:48 as along with 3 people bonotake scis0000001 marcinzalewski
	Call-by-Value Is Dual to Call-by-Name – Reloaded [My Copy] Term Rewriting and Applications (2005), pp. 185-203. by Philip Wadler posted to dual_calculus call-by-value call-by-name by gologo13 on 2009-11-03 20:26:38 as
	Adenosine triphosphate content of mast cells in relation to histamine release induced by anaphylactic reaction. [My Copy] Int Arch Allergy Appl Immunol, Vol. 49, No. 1-2. (1975), 208. by T. Johansen, N. Chakravarty posted to n file-import-09-11-03 00000 by arenasrwilliam on 2009-11-03 20:19:41 as
	Polymorphisms in human pre-miRNAs [My Copy] Biochemical and Biophysical Research Communications, Vol. 331, No. 4. (17 June 2005), pp. 1439-1444. by Naoharu Iwai, Hiroaki Naraba posted to pre-mirna polymorphism mirna microrna by songpku on 2009-11-03 20:18:53 as along with 1 person daforerog
	Common genetic variants in pre-microRNAs were associated with increased risk of breast cancer in Chinese women. [My Copy] Human mutation, Vol. 30, No. 1. (January 2009), pp. 79-84. by Zhibin Hu, Jie Liang, Zhanwei Wang, et al.Tian Tian, Xiaoyi Zhou, Jiaping Chen, Ruifen Miao, Yan Wang, Xinru Wang, Hongbing Shen posted to variant pre-microrna polymorphism mirna genetic cancer breast by songpku on 2009-11-03 20:06:27 as along with 1 person daforerog
	Functional genetic variation of human miRNAs and phenotypic consequences [My Copy] Mammalian Genome, Vol. 19, No. 7. (1 August 2008), pp. 503-509. by Christelle Borel, Stylianos Antonarakis posted to snp polymorphism mirna microrna genetic by songpku on 2009-11-03 19:57:20 as along with 1 person daforerog
	SNPs in human miRNA genes affect biogenesis and function [My Copy] RNA, Vol. 15, No. 9. (17 September 2009), pp. 1640-1651. by Guihua Sun, Jin Yan, Katie Noltner, et al.Jinong Feng, Haitang Li, Daniel A. Sarkis, Steve S. Sommer, John J. Rossi posted to snps polymorphism mirna microrna genetic by songpku on 2009-11-03 19:55:26 as along with 2 people guhjy daforerog
	Involving consumers in research and development agenda setting for the NHS: developing an evidence-based approach. [My Copy] Health Technology Assessment, Vol. 8, No. 15. (2004), 1-148. by S. Oliver, L. Clarke-Jones, R. Rees, et al.R. Milne, P. Buchanan, J. Gabbay, G. Gyte, A. Oakley, K. Stein posted to src problem-formulation by SRCMethodsLibrary on 2009-11-03 19:24:55 as
	Call-by-value is dual to call-by-name [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 189-201. by Philip Wadler posted to sequent_calculus dual_calculus dual classical_logic call-by-value call-by-name by gologo13 on 2009-11-03 18:42:13 as
	The Duality of Computation [My Copy] In Proceedings of the 5th ACM SIGPLAN International Conference on Functional Programming (September 2000) by Pierre L. Curien, Hugo Herbelin posted to sequent_calculus lambda_mu_calculus duality by gologo13 on 2009-11-03 18:42:13 as
	Featherweight Java: A Minimal Core Calculus for Java and GJ [My Copy] In Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA`99), Vol. 34(10) (1999), pp. 132-146. by Atshushi Igarashi, Benjamin Pierce, Philip Wadler edited by Loren Meissner posted to featherweight_java by gologo13 on 2009-11-03 18:42:13 as
	Adaptive functional programming [My Copy] In POPL 2002 (2002), pp. 247-259. by Umut A. Acar, Guy E. Blelloch, Robert Harper posted to submit-incremental ml incremental functional-programming algorithms adaptive by spl on 2009-11-03 16:47:43 as
	Verifying correct usage of atomic blocks and typestate [My Copy] SIGPLAN Not., Vol. 43, No. 10. (2008), pp. 227-244. by Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich posted to types side-effects multi-threaded java by ama08r on 2009-11-03 15:25:00 as
	The Essence of Dataflow Programming [My Copy] Central European Functional Programming School (2006), pp. 135-167. by Tarmo Uustalu, Varmo Vene posted to pure functional-programming data-flow comonad by pedagand on 2009-11-03 10:04:04 as along with 4 people Scis0000002 christiankissig spl hannibal_08
	Comonadic Notions of Computation [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 203, No. 5. (2008), pp. 263-284. by Tarmo Uustalu, Varmo Vene posted to functional-programming comonad category-theory by pedagand on 2009-11-03 09:49:40 as along with 3 people christiankissig spl oryp6518
	Haskell tools from the programatica project [My Copy] Proceedings of the ACM SIGPLAN workshop on Haskell - Haskell '03 (2003), pp. 103-106. by Thomas Hallgren posted to file-import-09-11-02-classc by jasonreich on 2009-11-02 16:43:38 as
	The functional abstract machine [My Copy] Citeseer, Vol. 1985 (1995), pp. 1-45. by L. Cardelli posted to file-import-09-11-02-classb by jasonreich on 2009-11-02 16:43:11 as
	A virtual machine for functional logic computations [My Copy] Lecture Notes in Computer Science, Vol. 3474 (2005) by S. Antoy, M. Hanus, J. Liu, A. Tolmach posted to file-import-09-11-02-classb by jasonreich on 2009-11-02 16:43:11 as
	Types are not sets [My Copy] In POPL '73: Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1973), pp. 120-124. by James H. Morris posted to types by khatchad on 2009-11-02 04:13:24 as
	MicroRNAs and genomic variations: from Proteus tricks to Prometheus gift [My Copy] Carcinogenesis, Vol. 30, No. 6. (1 June 2009), pp. 912-917. by Muller Fabbri, Nicola Valeri, George A. Calin posted to review polymorphism mirna microrna cancer by songpku on 2009-11-01 21:19:11 as along with 2 people guhjy daforerog
	Genetic variations of microRNAs in human cancer and their effects on the expression of miRNAs. [My Copy] Carcinogenesis, Vol. 29, No. 9. (September 2008), pp. 1710-1716. by Meiqun Wu, Normand Jolicoeur, Zhen Li, et al.Linhua Zhang, Yves Fortin, Denis L'Abbe, Zhenbao Yu, Shi-Hsiang H. Shen posted to variation polymorphism mirna microrna genetic cancer by songpku on 2009-11-01 18:06:57 as along with 2 people daforerog brdwilde
	KRAS mutation, KRAS-LCS6 polymorphism, and non-small cell lung cancer. [My Copy] Lung cancer (Amsterdam, Netherlands) (23 October 2009) by H. H. Nelson, B. C. Christensen, S. L. Plaza, J. K. Wiencke, C. J. Marsit, K. T. Kelsey posted to polymorphism microrna lung let-7 cancer by songpku on 2009-11-01 16:49:03 as
	An Introduction to Dependent Type Theory [My Copy] Applied Semantics (2002), pp. 7-74. by Gilles Barthe, Thierry Coquand posted to lambda-calculus dependent-types by pedagand on 2009-10-31 12:27:25 as
	Handbook of logic in computer science (vol. 4): semantic modelling [My Copy] (1995) edited by S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum posted to semantics phd modeling by fierykylin on 2009-10-31 00:01:38 as
	Carbohydrate ingestion, blood glucose and mood [My Copy] Neuroscience and Biobehavioral Reviews, Vol. 26 (2002), pp. 293-308. by David Benton posted to tryptophan sugar mood hypoglycaemia glucose endorphins carbohydrate blood-glucose bioenergetics by jzadra on 2009-10-30 18:49:29 as

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

Result page: 1 2 3 4 5 6 7 8 9 10 Next

functional-programming	108
types	68
haskell	53
polymorphism	31
monads	27
lambda-calculus	23
program-transformation	23
parametricity	21
logical-relations	20
denotational-semantics	19
side-effects	18
free-theorems	17
lazy-evaluation	16
optimization	15
type-classes	15
tree-transducers	14
laziness	13
seq	13
xml	13
accumulating-parameters	11
deforestation	11
generic-programming	11
operational-semantics	11
strict-evaluation	11
call-by-name	10
rank-2	10
selective-strictness	10
call-by-value	8
category-theory	8
ml	8
shortcut-deforestation	8
verification	8
applications	7
call-by-need	7
attribute-grammars	6
continuations	6
pcf	6
circular-programs	5
compilers	5
dsl	5
operating-systems	5
functional-dependencies	4
induction-proofs	4
multiple-traversals	4
subtyping	4
theorem-provers	4
tupling	4
arrows	3
automata	3
dependent-types	3
embedded-systems	3
objects	3
scheme	3
clean	2
linear-logic	2
logic-programming	2
mso-logic	2
nominal-abstract-syntax	2
parallel-programming	2
programatica	2
sequentiality	2
static-analysis	2
bidirectionality	1
complexity-analysis	1
concurrency	1
databases	1
decidability	1
errors	1
exceptions	1
imperative-programming	1
imprecise-errors	1
nondeterminism	1
optimal-reduction	1
quantum-computation	1
real-time	1
streams	1
uniqueness	1
view-update	1

voigt's watchlist [more than 800 articles] Export

voigt's tags