☰

Norman Ramsey

Affiliations: 
1996-1999 Computer Science University of Virginia, Charlottesville, VA 
 1999-2008 Engineering and Applied Sciences Harvard University, Cambridge, MA, United States 
 2008- Computer Science Tufts University, Boston 
Area:
Programming languages and systems, Functional Programming
Website:
https://engineering.tufts.edu/people/faculty/norman-ramsey
Google:
"Norman Ramsey"
Bio:

https://www.cs.tufts.edu/~nr/activities.html
https://scholar.google.com/citations?user=7QTGa98AAAAJ&hl=en

Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
David Roy Hanson grad student 1993 Princeton
 (A retargetable debugger)

Children

Sign in to add trainee
Joao Dias grad student 2009 Harvard (Physics Tree)
Kevin Redwine grad student 2009 Harvard (Physics Tree)
Zhe Lu grad student 2012-2013 Tufts (Chemistry Tree)

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Daniels NM, Gallant A, Ramsey N, et al. (2015) MRFy: Remote Homology Detection for Beta-Structural Proteins Using Markov Random Fields and Stochastic Search. Ieee/Acm Transactions On Computational Biology and Bioinformatics / Ieee, Acm. 12: 4-16
Ramsey N. (2011) Embedding an interpreted language using higher-order functions and types Journal of Functional Programming. 21: 585-615
Ramsey N. (2006) ML module mania: A type-safe, separately compiled, extensible interpreter Electronic Notes in Theoretical Computer Science. 148: 181-209
Ramsey N, Dias J. (2006) An applicative control-flow graph based on Huet's zipper Electronic Notes in Theoretical Computer Science. 148: 105-126
Ramsey N, Cifuentes C. (2003) A Transformational Approach to Binary Translation of Delayed Branches Acm Transactions On Programming Languages and Systems. 25: 210-224
Ramsey N, Scott K. (2000) The 1999 ICFP programming contest Sigplan Notices. 35: 73-83
Ramsey N. (2000) Pragmatic Aspects of Reusable Program Generators Position Paper Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1924: 149-171
Ramsey N. (1998) Unparsing expressions with prefix and postfix operators Software - Practice and Experience. 28: 1327-1356
Ramsey N, Fernández MF. (1997) Specifying representations of machine instructions Acm Transactions On Programming Languages and Systems. 19: 492-524
Ramsey N. (1996) A simple solver for linear equations containing nonlinear operators Software - Practice and Experience. 26: 467-487
See more...