Smart rehabilitation for the 21st century: the Tampa Smart Home for veterans with traumatic brain injury von Jasiewicz, Jan, Kearns, William, Craighead, Jeffrey, Fozard, James L, Scott, Steven, McCarthy, Jr, Jay

Volltext

Trends in Functional Programming: 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers

Volltext

Newly-single and loving it: improving higher-order must-alias analysis with heap fragments von Germane, Kimball, McCarthy, Jay

Volltext

Trends in Functional Programming: 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers von McCarthy, Jay

Volltext

Special issue on Trends in Functional Programming 2013/14 von Hage, Jurriaan, McCarthy, Jay

Volltext

Trends in Functional Programming: 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers von Hage, Jurriaan, McCarthy, Jay

Volltext

Practically Accurate Floating-Point Math von Toronto, Neil, McCarthy, Jay

Volltext

Teacher stress: Balancing demands and resources von McCarthy, Christopher Jay

Volltext

Special issue on Trends in Functional Programming 2013/14: Editorial von Hage, J, McCarthy, Jay

Volltext

Trends in Functional Programming: 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers

Volltext

A Survey of Polyvariance in Abstract Interpretations von Gilray, Thomas, Might, Matthew

Volltext

Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education: Preface von Jeuring, Johan, McCarthy, Jay

Volltext

Teacher stress: Balancing demands and resources von McCarthy, Christopher Jay

Volltext

Teacher stress: Balancing demands and resources: Understanding how teachers' perceptions of their work leads to stress can help leaders find solutions and support those who need it... von McCarthy, Christopher Jay

Volltext

A Coq library for internal verification of running-times von McCarthy, Jay, Fetscher, Burke, New, Max S., Feltey, Daniel, Findler, Robert Bruce

Volltext

Fair enumeration combinators von NEW, MAX S., FETSCHER, BURKE, FINDLER, ROBERT BRUCE, MCCARTHY, JAY

Volltext

Demand Control-Flow Analysis von Germane, Kimball, McCarthy, Jay, Adams, Michael D., Might, Matthew

Volltext

Rhombus: A New Spin on Macros without All the Parentheses von Flatt, Matthew, Allred, Taylor, Angle, Nia, De Gabrielle, Stephen, Findler, Robert Bruce, Firth, Jack, Gopinathan, Kiran, Greenman, Ben, Kasivajhula, Siddhartha, Knauth, Alex, McCarthy, Jay, Phillips, Sam, Porncharoenwase, Sorawee, Søgaard, Jens Axel, Tobin-Hochstadt, Sam

Volltext

The two-state solution: native and serializable continuations accord von McCarthy, Jay A.

Volltext

Using Rewriting to Synthesize Functional Languages to Digital Circuits von Baaij, Christiaan, Kuper, Jan

Volltext