🦞🌯 Lobster Roll

Thread

Fine-grained Language Composition (tratt.net)
L 21 pts 12 comments by edd Sep 21, 2016 compilerscompsciprogramming thread

Stories related to "Fine-grained Language Composition" across the full archive.

Fine-grained Language Composition (tratt.net)
L 21 pts 12 comments by edd Sep 21, 2016 compilerscompsciprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Fine-grained Language Composition (arxiv.org)
L 2 pts 0 comments by GeoffWozniak Jun 26, 2015 compilerspdf Systems / Low-Level / OSProgramming Languages / CS Theory thread
Fine-grained Language Composition: Case Study (2016) (drops.dagstuhl.de)
L 3 pts 0 comments by nickpsecurity Feb 6, 2018 compilerspdfphppython Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Abstract: "Although run-time language composition is common, it normally takes the form of a crude Foreign Function Interface (FFI). While useful, such compositions tend to be coarse-grained and slow. In this paper we introduce a novel fine-grained syntactic composition of PHP and Python which al...
Fine-grained Language Composition (2016) (tratt.net)
L 6 pts 0 comments by carlana Oct 7, 2023 phppltpython Programming (General)Programming Languages / CS Theory thread
Composition and Reuse with Compiled Domain-Specific Languages (ppl.stanford.edu)
L 3 pts 0 comments by animatronic Sep 30, 2014 compscipdf Programming Languages / CS Theory thread
Programming Languages and Compilers Commons (network.bepress.com)
L 2 pts 0 comments by animatronic Oct 25, 2014 compilerscompsciprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Rascal Metaprogramming Language (rascal-mpl.org)
L 6 pts 0 comments by animatronic Jul 5, 2015 compilerscompsci Systems / Low-Level / OSProgramming Languages / CS Theory thread
Bounded Refinement Types (arxiv.org)
L 6 pts 0 comments by pushcx Jul 21, 2015 compilerscompscihaskellpdf Systems / Low-Level / OSProgramming Languages / CS Theory thread
Pi-Forall: How to use and implement a dependently-typed language (youtube.com)
L 11 pts 1 comments by pushcx Dec 28, 2015 compilerscompscivideo Systems / Low-Level / OSProgramming Languages / CS Theory thread
Rhine – A typed Elixir-inspired language on LLVM (github.com)
L 7 pts 2 comments by artagnon Mar 20, 2016 ccompilerscompsciprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
The new and improved programming languages zoo (math.andrej.com)
L 30 pts 5 comments by craigstuntz Sep 7, 2016 compilerscompsciml Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Esolang, the esoteric programming languages wiki (esolangs.org)
L 15 pts 3 comments by pushcx Sep 16, 2016 compilerscompsci Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Koka - A functional language with effects (microsoft.com)
L 31 pts 4 comments by fitzgen Dec 21, 2016 compilerscompsci Systems / Low-Level / OSProgramming Languages / CS Theory thread
> Koka is a function-oriented programming language that seperates pure values from side-effecting computations, where the effect of every function is automatically inferred. Koka has many features that help programmers to easily change their data types and code organization correctly, while having a...
undefined behavior and the purpose of C (yodaiken.com)
L 15 pts 30 comments by inactive-user Jan 5, 2017 ccompilerscompsci Systems / Low-Level / OSProgramming Languages / CS Theory thread
Oregon Programming Languages Summer School (2016) (cs.uoregon.edu)
L 6 pts 0 comments by evhan Jan 12, 2017 compilerscompsci Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
This is an annual conference run by the University of Oregon focusing on programming language technologies. Video lectures go back through 2008: - 2016 - [Types, Logic, Semantics, and Verification](https://www.cs.uoregon.edu/research/summerschool/summer16/curriculum.php) (linked) - 2015 - [Ty...
PL for SE, Part 1: “Programming Languages” (taliasplse.wordpress.com)
L 7 pts 3 comments by craigstuntz Apr 25, 2017 compilerscompsci Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Alms - Sound, ML-like Language with Affine Types (2011) (users.eecs.northwestern.edu)
L 8 pts 0 comments by nickpsecurity May 6, 2017 compscimlprogramming Programming (General)Programming Languages / CS Theory thread
Typed Assembly Language (1998) (cs.cornell.edu)
L 12 pts 6 comments by nickpsecurity May 29, 2017 compilerscompsciformalmethodsprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Undefined Behavior in 2017 (blog.regehr.org)
L 36 pts 8 comments by calvin Jul 5, 2017 cc++compilerscompsci Systems / Low-Level / OSProgramming Languages / CS Theory thread
The Lux Programming Language [Strange Loop 2017] (youtube.com)
L 14 pts 3 comments by eduardoejp Oct 1, 2017 compilerscompscilispvideo Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Refinement Types in ML (1991) (cs.cmu.edu)
L 9 pts 2 comments by nickpsecurity Jan 14, 2018 compilerscompscimlpdfprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Katahdin - a programming language where the syntax and semantics are mutable at runtime (chrisseaton.com)
L 19 pts 16 comments by sebastien Mar 26, 2018 compilerscompsciplt Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
From 2007, but still quite relevant in its usage of PEGs/Packrat to compose very different grammars into a single language. The runtime mutability aspect is also a fairly major departure from the traditional offline compiler approach. This example form the documentation sums how powerful it can b...
Papers from the Lost Culture of Array Languages (prog21.dadgum.com)
L 14 pts 4 comments by mfeathers Apr 16, 2018 aplcompilerscompsciprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
A Gentle Intro to PLT (Programming Language Theory) (mpc.sh)
L 30 pts 9 comments by mpcsh Jun 11, 2018 compilerscompscimlplt Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
A graph of programming languages connected through compilers (akr.am)
L 9 pts 2 comments by calvin Jul 8, 2018 compilerspltvisualization Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryDesign / UX / Visualization thread
Introduction to µUBSan - a clean-room reimplementation of the Undefined Behavior Sanitizer runtime (blog.netbsd.org)
L 11 pts 11 comments by inactive-user Aug 7, 2018 compilerscompscinetbsdsecurity Systems / Low-Level / OSProgramming Languages / CS TheorySecurity / Privacy thread
A formally verified transformation to unify multiple nested clocks for a Lustre-like language (scis.scichina.com)
L 1 pts 0 comments by nickpsecurity Dec 20, 2018 compilerscompsciformalmethodspdfpltprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Nim: hot code-reloading at runtime on a compiled language (youtube.com)
L 12 pts 7 comments by inactive-user Apr 24, 2019 compilerscompsciprogrammingvideo Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Nim programming language: version 0.19.6 released (nim-lang.org)
L 17 pts 16 comments by inactive-user May 14, 2019 compilerscompsciprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
GRIN Compiler - whole program optimizer for lazy and strict functional languages (grin-compiler.github.io)
L 23 pts 0 comments by stephane_rolland Jun 6, 2019 compilerscompsci Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread