A software engineering experiment in software component generation RB Kieburtz, L McKinney, JM Bell, J Hook, A Kotov, J Lewis, DP Oliva, ... Proceedings of IEEE 18th International Conference on Software Engineering …, 1996 | 268 | 1996 |
Static single assignment for explicitly parallel programs H Srinivasan, J Hook, M Wolfe Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993 | 85 | 1993 |
Software design for reliability and reuse: A proof-of-concept demonstration J Bell, F Bellegarde, J Hook, RB Kieburtz, A Kotov, J Lewis, L McKinney, ... Proceedings of the conference on TRI-Ada'94, 396-404, 1994 | 69 | 1994 |
Type-driven defunctionalization JM Bell, F Bellegarde, J Hook Proceedings of the second ACM SIGPLAN international conference on Functional …, 1997 | 63 | 1997 |
Substitution: A formal methods case study using monads and transformations F Bellegarde, J Hook Science of computer programming 23 (2-3), 287-311, 1994 | 52 | 1994 |
Impredicative strong existential equivalent to type: type JG Hook, DJ Howe Cornell University, 1986 | 35 | 1986 |
Client-side web scripting with HaskellScript E Meijer, D Leijen, J Hook International Symposium on Practical Aspects of Declarative Languages, 196-210, 1999 | 30 | 1999 |
Calculating software generators from solution specifications RB Kieburtz, F Bellegarde, J Bell, J Hook, J Lewis, D Oliva, T Sheard, ... TAPSOFT'95: Theory and Practice of Software Development: 6th International …, 1995 | 27 | 1995 |
An overview of the Programatica toolset T Hallgren, J Hook, MP Jones, RB Kieburtz High Confidence Software and Systems Conference, HCSS04, 2004 | 26 | 2004 |
Computer science for equity: Teacher education, agency, and statewide reform J Goode, M Skorodinsky, J Hubbard, J Hook Frontiers in Education 4, 162, 2020 | 24 | 2020 |
Achieving information flow security through precise control of effects WL Harrison, J Hook 18th IEEE Computer Security Foundations Workshop (CSFW'05), 16-30, 2005 | 23 | 2005 |
GADTs+ extensible kinds= dependent programming T Sheard, J Hook, N Linger Technical report, Portland State University, 2005 | 23 | 2005 |
Fine control of demand in Haskell W Harrison, T Sheard, J Hook International Conference on Mathematics of Program Construction, 68-93, 2002 | 23 | 2002 |
A semantics of compile-time reflection J Hook, T Sheard Oregon Graduate Institute of Science and Technology, Beaverton, OR, USA, 1993 | 21 | 1993 |
Generating programs by reflection J Hook, RB Kieburtz, T Sheard Oregon Graduate Institute of Science and Technology, Department of Computer …, 1992 | 20 | 1992 |
Achieving information flow security through monadic control of effects WL Harrison, J Hook Journal of Computer Security 17 (5), 599-653, 2009 | 19 | 2009 |
Understanding Russell a first attempt JG Hook International Symposium on Semantics of Data Types, 69-85, 1984 | 19 | 1984 |
Haskell as an automation controller D Leijen, E Meijer, J Hook Advanced Functional Programming: Third International School, AFP’98, Braga …, 1999 | 15 | 1999 |
Defunctionalization of typed programs J Bell, J Hook Oregon Graduate Institute School of Science & Engineering, 1994 | 15 | 1994 |
Experience with abstraction-carrying code S Xia, J Hook Electronic Notes in Theoretical Computer Science 89 (3), 433-449, 2003 | 10 | 2003 |