calls4participation.blogspot.com
Calls for participation: 2014-09
http://calls4participation.blogspot.com/2014_09_01_archive.html
Caml-list] ETAPS 2015 final call for papers. CALL FOR PAPERS: ETAPS 2015. 18th European Joint Conferences on Theory And Practice of Software. London, UK, 11-18 April 2015. Http:/ www.etaps.org/2015. ETAPS is the primary European forum for academic and industrial. Researchers working on topics relating to software science. ETAPS,. Established in 1998, is a confederation of six main annual. Conferences, accompanied by satellite workshops. ETAPS 2015 is the. Eighteenth event in the series. Frank Pfenning (C...
cs.nott.ac.uk
Graham Hutton
http://www.cs.nott.ac.uk/~gmh
Last updated on 1st August 2016. I'm Professor of Computer Science. At the University of Nottingham. Where I co-lead the Functional Programming Lab. Current and recent work:. Contractive functions on infinite data structures. Editor, Journal of Functional Programming. Editorial board member, ACM International Conference Proceedings Series. External examiner, University of Sheffield. External examiner, University of Glasgow. Member, EPSRC Peer Review College. Germany, 2015;. Boston, 2014;. Madrid, 2012;.
ifl2015.wikidot.com
Previous IFL editions - IFL 2015
http://ifl2015.wikidot.com/previous-editions
Implementation and application of functional programming languages. See more editions at DBLP. Powered by Wikidot.com. Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License. Click here to edit contents of this page. Click here to toggle editing of individual sections of the page (if possible). Watch headings for an edit link when available. Append content without editing the whole page source. Check out how this page has evolved in the past.
ccs.neu.edu
Sam Tobin-Hochstadt
http://www.ccs.neu.edu/home/samth
The most important decisions a scholar makes are what problems to work on. School of Informatics and Computing. Email: samth@cs.indiana.edu. Blog: Scripts to Programs. I'm looking for new Ph.D students at Indiana University Computer Science. If you are interested. Towards Practical Gradual Typing. Earl Dean, Daniel Felty, Matthias Felleisen. To appear at ECOOP 2015. Shriram Krishnamurthi, Eli Barzilay, Jay McCarthy. To appear at SNAPL 2015. Monotonic References for efficient gradual typing. My research f...
davidchristiansen.dk
New paper submission: "Type-Directed Elaboration of Quasiquotations: A High-Level Syntax for Low-Level Reflection"
http://www.davidchristiansen.dk/2014/08/20/new-paper-submission-type-directed-elaboration-of-quasiquotations-a-high-level-syntax-for-low-level-reflection
New paper submission: “Type-Directed Elaboration of Quasiquotations: A High-Level Syntax for Low-Level Reflection”. I just finished a submission to IFL 2014. It’s a paper about Idris’s quasiquotations mechanism, which allow the use of high-level Idris syntax to describe low-level reflected terms, with the ability to escape from quotation in chosen areas and intentionally control the details of the representation. This is very much inspired by Lisp quasiquotation. You can find the paper on my academic page.
rntz.net
rntz - Résumé
http://www.rntz.net/resume.html
As of June 2016.). PhD in Computer Science. BS in Computer Science. QPA: 3.46 out of 4. Currently working on Datafun. A functional query language inspired by Datalog. At Hacker School I created Moxy. A syntactically extensible language. The core idea is that. Structure extensibility. I'm writing a paper for IFL 2014. About Moxy and the theory behind it. This blog post. Provides some background theory. PhD student and undergraduate researcher. Worked with Frank Pfenning. Worked with Umut Acar. Co-authored...
SOCIAL ENGAGEMENT