1 |
A sequent calculus with dependent types for classical arithmetic
|
|
|
|
In: LICS 2018 - 33th Annual ACM/IEEE Symposium on Logic in Computer Science ; https://hal.inria.fr/hal-01703526 ; LICS 2018 - 33th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.720-729, ⟨10.1145/3209108.3209199⟩ (2018)
|
|
BASE
|
|
Show details
|
|
2 |
Peter, the Language that does not Exist. ; Peter, le langage qui n’existe pas.
|
|
|
|
In: https://hal.inria.fr/tel-01148503 ; Computation and Language [cs.CL]. INPL - INP de LORRAINE, 2007 (2007)
|
|
BASE
|
|
Show details
|
|
3 |
Semantics of the reFLect Language
|
|
|
|
In: http://www.cse.ogi.edu/~johnm/papers/KrsticMatthews_04.pdf (2004)
|
|
BASE
|
|
Show details
|
|
4 |
Polymorphic specialization for ML
|
|
|
|
In: http://www.swen.uwaterloo.ca/~shelsen/papers/helsen-thiemann-toplas-2004.pdf (2002)
|
|
BASE
|
|
Show details
|
|
5 |
Persistent Queries in the Behavioral Theory of Algorithms
|
|
|
|
In: http://research.microsoft.com/en-us/um/people/gurevich/opera/196.pdf
|
|
BASE
|
|
Show details
|
|
6 |
Typed memory management via static capabilities
|
|
|
|
In: http://www.cs.cmu.edu/~crary/papers/2000/regions/capabilities.pdf
|
|
BASE
|
|
Show details
|
|
7 |
Symbolic Semantic Rules for Producing Compact STGLAs from Value Passing Process Descriptions
|
|
|
|
In: http://www.sti.uniurb.it/bernardo/documents/acmtocl5.pdf
|
|
BASE
|
|
Show details
|
|
|
|