Mechanized Metatheory for the Masses: The PoplMark Challenge von Aydemir, Brian E., Bohannon, Aaron, Fairbairn, Matthew, Foster, J. Nathan, Pierce, Benjamin C., Sewell, Peter, Vytiniotis, Dimitrios, Washburn, Geoffrey, Weirich, Stephanie, Zdancewic, Steve

Volltext

Live programming in the LogicBlox system: a MetaLogiQL approach von Green, Todd J., Olteanu, Dan, Washburn, Geoffrey

Volltext

Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism von WASHBURN, GEOFFREY, WEIRICH, STEPHANIE

Volltext

AspectML: A polymorphic aspect-oriented functional programming language von Dantas, Daniel S., Walker, David, Washburn, Geoffrey, Weirich, Stephanie

Volltext

AspectML : A Polymorphic Aspect-Oriented Functional Programming Language von DANTAS, Daniel S, WALKER, David, WASHBURN, Geoffrey, WEIRICH, Stephanie

Volltext

Generalizing parametricity using information-flow von Washburn, G., Weirich, S.

Volltext

Simple unification-based type inference for GADTs von Peyton Jones, Simon, Vytiniotis, Dimitrios, Weirich, Stephanie, Washburn, Geoffrey

Volltext

Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism von Washburn, Geoffrey, Weirich, Stephanie

Volltext

Implementing Compositional Analysis Using Intersection Types With Expansion Variables von Kfoury, Assaf, Washburn, Geoffrey, Wells, J.B.

Volltext

Poly AML: a polymorphic aspect-oriented functional programming language von Dantas, Daniel S., Walker, David, Washburn, Geoffrey, Weirich, Stephanie

Volltext

Levosimendan in Patients with Left Ventricular Dysfunction Undergoing Cardiac Surgery von Mehta, Rajendra H, Leimberger, Jeffrey D, van Diepen, Sean, Meza, James, Wang, Alice, Jankowich, Rachael, Harrison, Robert W, Hay, Douglas, Fremes, Stephen, Duncan, Andra, Soltesz, Edward G, Luber, John, Park, Soon, Argenziano, Michael, Murphy, Edward, Marcel, Randy, Kalavrouziotis, Dimitri, Nagpal, Dave, Bozinovski, John, Toller, Wolfgang, Heringlake, Matthias, Goodman, Shaun G, Levy, Jerrold H, Harrington, Robert A, Anstrom, Kevin J, Alexander, John H

Volltext

FAN1 mutations cause karyomegalic interstitial nephritis, linking chronic kidney failure to defective DNA damage repair von Zhou, Weibin, Otto, Edgar A, Cluckey, Andrew, Airik, Rannar, Hurd, Toby W, Chaki, Moumita, Diaz, Katrina, Lach, Francis P, Bennett, Geoffrey R, Gee, Heon Yung, Ghosh, Amiya K, Natarajan, Sivakumar, Thongthip, Supawat, Veturi, Uma, Allen, Susan J, Janssen, Sabine, Ramaswami, Gokul, Dixon, Joanne, Burkhalter, Felix, Spoendlin, Martin, Moch, Holger, Mihatsch, Michael J, Verine, Jerome, Reade, Richard, Soliman, Hany, Godin, Michel, Kiss, Denes, Monga, Guido, Mazzucco, Gianna, Amann, Kerstin, Artunc, Ferruh, Newland, Ronald C, Wiech, Thorsten, Zschiedrich, Stefan, Huber, Tobias B, Friedl, Andreas, Slaats, Gisela G, Joles, Jaap A, Goldschmeding, Roel, Washburn, Joseph, Giles, Rachel H, Levy, Shawn, Smogorzewska, Agata, Hildebrandt, Friedhelm

Volltext

Not all Risk Taking is Born Equal: The Behavioral Agency Model and CEO's Perception of Firm Efficacy von Martin, Geoffrey, Washburn, Nathan, Makri, Marianna, Gomez-Mejia, Luis R.

Volltext

Using real time RT-PCR analysis to determine multiple gene expression patterns during XX and XY mouse fetal gonad development von Bouma, Gerrit J., Hart, Geoffrey T., Washburn, Linda L., Recknagel, Andrew K., Eicher, Eva M.

Volltext

The determination of ultraviolet extinction from the optical and near-infrared von Cardelli, Jason A., Clayton, Geoffrey C., Mathis, John S.

Volltext

4-[[2-(1-Methyl-2-pyrrolidinyl)ethyl]thio]- phenol Hydrochloride (SIB-1553A):  A Novel Cognitive Enhancer with Selectivity for Neuronal Nicotinic Acetylcholine Receptors von Vernier, Jean-Michel, El-Abdellaoui, Hassan, Holsenback, Heather, Cosford, Nicholas D. P, Bleicher, Leo, Barker, Geoffrey, Bontempi, Bruno, Chavez-Noriega, Laura, Menzaghi, Frederique, Rao, Tadimeti S, Reid, Richard, Sacaan, Aida I, Suto, Carla, Washburn, Mark, Lloyd, G. Kenneth, McDonald, Ian A

Volltext

On the relationship between optical polarization and extinction von Clayton, Geoffrey C., Mathis, John S.

Volltext

Professional Ethics Violations Gender, Forgiveness, and the Attitudes of Social Work Students von Sutton, Geoffrey W, Washburn, Donna M, Comtois, Laura L, Moeckel, Allison R

Volltext

An environmental impact study of Orion Nebula dust von Cardelli, Jason A., Clayton, Geoffrey C.

Volltext

Polarization and the ratio of total-to-selective extinction von Clayton, Geoffrey C., Cardelli, Jason A.

Volltext