/explore
|
You are here 
|
popl24.sigplan.org | ||
| | | | |
icfp23.sigplan.org
NEW: Register for a lightning talk here: https://docs.google.com/document/d/1OQvkBqFf-JHd8XZ8q5Fkk0m8LOG5FlnGCzyzLS2MAqk/edit?usp=sharing The Haskell Symposium presents original research on Haskell, discusses practical experience and future development of the language, and promotes other forms of declarative programming. Topics of interest include: Language design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; Theory, such as formal se... |
|
| | | | | ||
| | | | |
2016.splashcon.org
OOPSLA seeks outstanding contributions on all aspects of programming languages and software engineering. Papers may target any stage of software development, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, and reuse of software systems. Contributions may include the development of new tools (such as language front-ends, program analyses, and runtime systems), new techniques (such as methodologies, design processe... |
|
| | | | | ||
| | | | |
icfp19.sigplan.org
ML is a large family of programming languages that includes Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, Reason ML, and many others. All ML languages, besides a great deal of syntax, share several fundamental traits. They are all higher-order, mostly pure, and typed, with algebraic and other data types. Their type systems inherit from Hindley-Milner. The development of these languages has inspired a large amount of computer science research and in... |
|
| | | | | ||
| | | | |
www.educationalneuroscience.org.uk
Our colleagues atNewcastle University are interested in how sign systems such as Makaton and British Sign Language are used by practitioners... |
|
| | | |||
